Movatterモバイル変換

Popular repositoriesLoading

modusmodusPublic archive
A language for building Docker/OCI container images
Rust 278 7
angelixangelixPublic archive
Semantic program repair system for C programs
Java 98 38
f1xf1xPublic
Efficient patch generation engine for C/C++ programs
C++ 18 3
symlogsymlogPublic
Symbolic executor of Datalog
Python 6
modus-openjdk-images-case-studymodus-openjdk-images-case-studyPublic
Using Modus to build OpenJDK images faster and with less code
Dockerfile 1
modus-modemodus-modePublic
C 1

Showing 10 of 15 repositories

llm-play Public
msv-lab/llm-play’s past year of commit activity
Python0GPL-3.00 0 0 UpdatedFeb 3, 2025
symlog Public
Symbolic executor of Datalog
msv-lab/symlog’s past year of commit activity
Python 6UPL-1.00 4 0 UpdatedJul 10, 2024
modus-website Public
msv-lab/modus-website’s past year of commit activity
HTML00 1 0 UpdatedMay 23, 2024
f1x Public
Efficient patch generation engine for C/C++ programs
msv-lab/f1x’s past year of commit activity
C++ 18GPL-3.0 3 2 0 UpdatedDec 23, 2022
angelix Public archive
Semantic program repair system for C programs
msv-lab/angelix’s past year of commit activity
Java 98MIT 38 6 0 UpdatedSep 26, 2022
modus-fse22-artifact Public
msv-lab/modus-fse22-artifact’s past year of commit activity
Shell0AGPL-3.00 0 0 UpdatedAug 9, 2022
modus-docker-hub-eval Public
msv-lab/modus-docker-hub-eval’s past year of commit activity
Shell0 1 0 0 UpdatedAug 9, 2022
modus-docs Public
msv-lab/modus-docs’s past year of commit activity
JavaScript0GPL-3.00 2 0 UpdatedAug 6, 2022
highlightjs-modusfile Public
msv-lab/highlightjs-modusfile’s past year of commit activity
JavaScript00 0 0 UpdatedAug 6, 2022
modus Public archive
A language for building Docker/OCI container images
msv-lab/modus’s past year of commit activity
Rust 278AGPL-3.0 7 29 1 UpdatedMay 14, 2022

This organization has no public members. You must be a member to see who’s a part of this organization.

Loading…

Loading…

You can’t perform that action at this time.