Popular repositories Loading

1. modus modus Public archive

   A language for building Docker/OCI container images

   Rust 278 7

2. angelix angelix Public archive

   Semantic program repair system for C programs

   Java 100 38

3. f1x f1x Public

   Efficient patch generation engine for C/C++ programs

   C++ 18 3

4. HoarePrompt HoarePrompt Public

   Structural Reasoning About Program Correctness in Natural Language

   Python 10 2

5. symlog symlog Public

   Symbolic executor of Datalog

   Python 6

6. SpecFix SpecFix Public

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

   Python 4