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. modus-openjdk-images-case-study modus-openjdk-images-case-study Public

   Using Modus to build OpenJDK images faster and with less code

   Dockerfile 1