msv-lab

Pinned Repositories

angelix
Semantic program repair system for C programs
Language:Java97 13 2438
f1x
Efficient patch generation engine for C/C++ programs
Language:C++17 16 73
modus
A language for building Docker/OCI container images
Language:Rust280 4 899
modus-docker-hub-eval
Language:Shell0 2 11
modus-docs
Language:JavaScript0 3 60
modus-fse22-artifact
Language:Shell0 3 00
modus-mode
Language:C1 2 30
modus-openjdk-images-case-study
Using Modus to build OpenJDK images faster and with less code
Language:Dockerfile1 2 60
symlog
Symbolic executor of Datalog
Language:Python3 3 60
vscode-modus
0 2 20

msv-lab's Repositories

msv-lab/modus
A language for building Docker/OCI container images
Language:Rust280 4 899
msv-lab/angelix
Semantic program repair system for C programs
Language:Java97 13 2438
msv-lab/f1x
Efficient patch generation engine for C/C++ programs
Language:C++17 16 73
msv-lab/symlog
Symbolic executor of Datalog
Language:Python3 3 60
msv-lab/modus-mode
Language:C1 2 30
msv-lab/modus-openjdk-images-case-study
Using Modus to build OpenJDK images faster and with less code
Language:Dockerfile1 2 60
msv-lab/modus-docker-hub-eval
Language:Shell0 2 11
msv-lab/modus-docs
Language:JavaScript0 3 60
msv-lab/modus-fse22-artifact
Language:Shell0 3 00
msv-lab/modus-playground
Language:Rust0 2 10
msv-lab/modus-website
Language:HTML0 2 10
msv-lab/vscode-modus
0 2 20
msv-lab/comment_style_HoarePrompt
using comment instead of ctx list
Language:Python
msv-lab/first-modus-app
Language:Rust2 0
msv-lab/highlightjs-modusfile
Language:JavaScript2 0