Pinned Loading

1. msv-lab/modus msv-lab/modus Public archive

   A language for building Docker/OCI container images

   Rust 278 7

2. msv-lab/angelix msv-lab/angelix Public archive

   Semantic program repair system for C programs

   Java 100 38

3. msv-lab/f1x msv-lab/f1x Public

   Efficient patch generation engine for C/C++ programs

   C++ 18 3

4. msv-lab/HoarePrompt msv-lab/HoarePrompt Public

   Structural Reasoning About Program Correctness in Natural Language

   Python 12 2

5. msv-lab/SpecFix msv-lab/SpecFix Public

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

   Python 5 1