Skip to content
@msv-lab

msv-lab

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 99 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 8 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

Repositories

Showing 10 of 19 repositories
  • HoarePrompt Public

    Structural Reasoning About Program Correctness in Natural Language

    msv-lab/HoarePrompt’s past year of commit activity
    Python 8 MIT 2 1 0 Updated Mar 26, 2025
  • CoCoClaNeL Public

    Code Correctness Classification w.r.t. Natural Language requirements

    msv-lab/CoCoClaNeL’s past year of commit activity
    0 MIT 0 0 0 Updated Mar 26, 2025
  • HoarePrompt-experiments Public

    Experiments with HoarePrompt

    msv-lab/HoarePrompt-experiments’s past year of commit activity
    Python 0 MIT 0 0 1 Updated Mar 26, 2025
  • HoarePrompt-data Public
    msv-lab/HoarePrompt-data’s past year of commit activity
    0 MIT 0 2 0 Updated Mar 26, 2025
  • llm-play Public
    msv-lab/llm-play’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Feb 3, 2025
  • symlog Public

    Symbolic executor of Datalog

    msv-lab/symlog’s past year of commit activity
    Python 6 UPL-1.0 0 4 0 Updated Jul 10, 2024
  • modus-website Public
    msv-lab/modus-website’s past year of commit activity
    HTML 0 0 1 0 Updated May 23, 2024
  • f1x Public

    Efficient patch generation engine for C/C++ programs

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

    Semantic program repair system for C programs

    msv-lab/angelix’s past year of commit activity
    Java 99 MIT 38 6 0 Updated Sep 26, 2022
  • modus-fse22-artifact Public
    msv-lab/modus-fse22-artifact’s past year of commit activity
    Shell 0 AGPL-3.0 0 0 0 Updated Aug 9, 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…