Skip to content

@msv-lab msv-lab

Change the repository type filter

All

    Repositories list

    22 repositories

    • mnimi

      Public
      Statistical Independence Aware Caching for LLM Workflows
      Python
      •0•0•0•0•Updated Dec 16, 2025Dec 16, 2025

    • AMUse

      Public
      API Misuse Repair Guided by Synthesized Datalog Specifications
      Python
      •0•0•0•0•Updated Nov 26, 2025Nov 26, 2025

    • SpecFix

      Public
      Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation
      Python
      •1•7•8•1•Updated Oct 22, 2025Oct 22, 2025

    • HoarePrompt-experiments

      Public
      Experiments with HoarePrompt
      Python
      •
      MIT License
      •0•0•0•1•Updated Jul 1, 2025Jul 1, 2025

    • HoarePrompt

      Public
      Structural Reasoning About Program Correctness in Natural Language
      Python
      •
      MIT License
      •2•12•1•0•Updated Jun 23, 2025Jun 23, 2025

    • CoCoClaNeL

      Public
      Code Correctness Classification w.r.t. Natural Language requirements
      MIT License
      •0•0•0•0•Updated Mar 26, 2025Mar 26, 2025

    • HoarePrompt-data

      Public
      MIT License
      •0•0•2•0•Updated Mar 26, 2025Mar 26, 2025

    • llm-play

      Public
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Feb 3, 2025Feb 3, 2025

    • symlog

      Public
      Symbolic executor of Datalog
      Python
      •
      Universal Permissive License v1.0
      •0•6•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-repairbug-fixing
      C++
      •
      GNU General Public License v3.0
      •3•19•2•0•Updated Dec 23, 2022Dec 23, 2022

    • angelix

      Public archive
      Semantic program repair system for C programs
      program-repair
      Java
      •
      MIT License
      •38•101•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
      dockerlanguagedockerfiledatalogbuild-systemreproducible-builds
      Rust
      •
      GNU Affero General Public License v3.0
      •7•278•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