Skip to content
@pku-msv-lab

pku-msv-lab

Popular repositories Loading

  1. modus modus Public

    A language for building Docker/OCI container images

    Rust 280 9

  2. angelix angelix Public archive

    Semantic program repair system for C programs

    Java 95 38

  3. f1x f1x Public

    Efficient patch generation engine for C/C++ programs

    C++ 16 3

  4. symlog symlog Public

    Symbolic executor of Datalog

    Python 3

  5. modus-openjdk-images-case-study modus-openjdk-images-case-study Public

    Using Modus to build OpenJDK images faster and with less code

    Dockerfile 1

  6. modus-mode modus-mode Public

    C 1

Repositories

Showing 10 of 14 repositories
  • modus-website Public
    pku-msv-lab/modus-website’s past year of commit activity
    HTML 0 0 1 0 Updated May 23, 2024
  • symlog Public

    Symbolic executor of Datalog

    pku-msv-lab/symlog’s past year of commit activity
    Python 3 UPL-1.0 0 4 0 Updated Dec 21, 2023
  • f1x Public

    Efficient patch generation engine for C/C++ programs

    pku-msv-lab/f1x’s past year of commit activity
    C++ 16 GPL-3.0 3 2 0 Updated Dec 23, 2022
  • angelix Public archive

    Semantic program repair system for C programs

    pku-msv-lab/angelix’s past year of commit activity
    Java 95 MIT 38 6 0 Updated Sep 26, 2022
  • modus-fse22-artifact Public
    pku-msv-lab/modus-fse22-artifact’s past year of commit activity
    Shell 0 AGPL-3.0 0 0 0 Updated Aug 9, 2022
  • modus-docker-hub-eval Public
    pku-msv-lab/modus-docker-hub-eval’s past year of commit activity
    Shell 0 1 0 0 Updated Aug 9, 2022
  • modus-docs Public
    pku-msv-lab/modus-docs’s past year of commit activity
    JavaScript 0 GPL-3.0 0 2 0 Updated Aug 6, 2022
  • highlightjs-modusfile Public
    pku-msv-lab/highlightjs-modusfile’s past year of commit activity
    JavaScript 0 0 0 0 Updated Aug 6, 2022
  • modus Public

    A language for building Docker/OCI container images

    pku-msv-lab/modus’s past year of commit activity
    Rust 280 AGPL-3.0 9 28 1 Updated May 14, 2022
  • modus-openjdk-images-case-study Public

    Using Modus to build OpenJDK images faster and with less code

    pku-msv-lab/modus-openjdk-images-case-study’s past year of commit activity
    Dockerfile 1 0 0 0 Updated Apr 7, 2022
View all repositories

People

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

Top languages

Loading…

Most used topics

Loading…