msv-lab

Popular repositories Loading

1. modus modus Public archive

   A language for building Docker/OCI container images

   Rust 277 7

2. angelix angelix Public archive

   Semantic program repair system for C programs

   Java 101 38

3. HoarePrompt HoarePrompt Public

   Structural Reasoning About Program Correctness in Natural Language

   Python 22 3

4. f1x f1x Public

   Efficient patch generation engine for C/C++ programs

   C++ 19 3

5. SpecFix SpecFix Public

   Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation

   Python 9 1

6. symlog symlog Public

   Symbolic executor of Datalog

   Python 6