Pinned Repositories
baas
Build as a Service (BaaS): Build Arbitrary Java Projects
dafny-synthesis
Towards AI-Assisted Synthesis of Verified Dafny Methods
SourcererJBF
Sourcerer's Java Build Framework
ADA
ADA - Architectural Design Advisor
ADA-Example-Repository
ANTLR4-JS-Parser
JavaScript Parser with Antlr
Interface-Driven-Code-Clone-Detector
Interface Driven Code Cloe Detector (IDCCD)
Siamese
Siamese: a scalable code clone search engine
SourcerCC-JS-Tokenizer
JavaScript Tokenizer Compatible to SourcerCC ( Developed with Java and ANTLR4)
MRHMisu's Repositories
MRHMisu/ANTLR4-JS-Parser
JavaScript Parser with Antlr
MRHMisu/SourcerCC-JS-Tokenizer
JavaScript Tokenizer Compatible to SourcerCC ( Developed with Java and ANTLR4)
MRHMisu/ADA
ADA - Architectural Design Advisor
MRHMisu/ADA-Example-Repository
MRHMisu/Interface-Driven-Code-Clone-Detector
Interface Driven Code Cloe Detector (IDCCD)
MRHMisu/Siamese
Siamese: a scalable code clone search engine
MRHMisu/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
MRHMisu/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
MRHMisu/bazel
a fast, scalable, multi-language and extensible build system
MRHMisu/cdk-admin
Angular 6 admin panel using angular material & angular flex.
MRHMisu/chatbot-ui
The open-source AI chat app for everyone.
MRHMisu/Clover
Clover: Closed-Loop Verifiable Code Generation
MRHMisu/codamosa
MRHMisu/cse291-program-synthesis
Program Synthesis Course
MRHMisu/DafnyBench
DafnyBench: A Benchmark for Formal Software Verification
MRHMisu/dsse.github.io
MRHMisu/DuComLab
MRHMisu/GCEmotion
MRHMisu/google-research
Google Research
MRHMisu/human-eval-verus
MRHMisu/HumanEval-Dafny
Translating humaneval into dafny
MRHMisu/jnose-core
MRHMisu/JS-Online-Clone-Analysis
This is a utility repository for the JavaScript Online Code Clone Analysis between StackOverflow and GitHub Repositories.
MRHMisu/MiningSO
MRHMisu/PyNose
A test smell detector for Python.
MRHMisu/SourcererCC
Sourcerer's Code Clone project
MRHMisu/SourcererJBF
Sourcerer's Java Build Framework
MRHMisu/TRACED_ICSE_24
MRHMisu/verus
Verified Rust for low-level systems code
MRHMisu/verus-proof-synthesis