Repositories list

• symlog

  Public
  Symbolic executor of Datalog

  Python

  •

  Universal Permissive License v1.0

  •0•5•4•0•Updated Jul 10, 2024Jul 10, 2024

• modus-website

  Public
  HTML

  •0•0•1•0•Updated May 23, 2024May 23, 2024

• f1x

  Public
  Efficient patch generation engine for C/C++ programs

  debuggerprogram-synthesisprogram-repair+ 1bug-fixing

  C++

  •

  GNU General Public License v3.0

  •3•18•2•0•Updated Dec 23, 2022Dec 23, 2022

• angelix

  Public archive
  Semantic program repair system for C programs

  program-repair

  Java

  •

  MIT License

  •38•97•6•0•Updated Sep 26, 2022Sep 26, 2022

• modus-fse22-artifact

  Public
  Shell

  •

  GNU Affero General Public License v3.0

  •0•0•0•0•Updated Aug 9, 2022Aug 9, 2022

• modus-docker-hub-eval

  Public
  Shell

  •1•0•0•0•Updated Aug 9, 2022Aug 9, 2022

• modus-docs

  Public
  JavaScript

  •

  GNU General Public License v3.0

  •0•0•2•0•Updated Aug 6, 2022Aug 6, 2022

• highlightjs-modusfile

  Public
  JavaScript

  •0•0•0•0•Updated Aug 6, 2022Aug 6, 2022

• modus

  Public archive
  A language for building Docker/OCI container images

  dockerlanguagedockerfile+ 3datalogbuild-systemreproducible-builds

  Rust

  •

  GNU Affero General Public License v3.0

  •9•279•29•1•Updated May 14, 2022May 14, 2022

• modus-openjdk-images-case-study

  Public
  Using Modus to build OpenJDK images faster and with less code

  Dockerfile

  •0•1•0•0•Updated Apr 7, 2022Apr 7, 2022

• modus-mode

  Public
  C

  •0•1•2•0•Updated Mar 29, 2022Mar 29, 2022

• vscode-modus

  Public
  GNU Affero General Public License v3.0

  •0•0•1•0•Updated Mar 28, 2022Mar 28, 2022

• modus-playground

  Public
  Rust

  •0•0•1•0•Updated Mar 28, 2022Mar 28, 2022

• first-modus-app

  Public
  Rust

  •0•0•0•0•Updated Feb 3, 2022Feb 3, 2022