Skip to content

Navigation Menu

Sign in
Appearance settings
msv-lab

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
@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 101 38

  3. f1x f1x Public

    Efficient patch generation engine for C/C++ programs

    C++ 19 3

  4. HoarePrompt HoarePrompt Public

    Structural Reasoning About Program Correctness in Natural Language

    Python 12 2

  5. SpecFix SpecFix Public

    Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation

    Python 7 1

  6. symlog symlog Public

    Symbolic executor of Datalog

    Python 6

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 22 repositories
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…
Morty Proxy This is a proxified and sanitized view of the page, visit original site.