Skip to content
@prosyslab

Programming Systems Laboratory @ KAIST

The window through which you see the SW world

Pinned Loading

  1. prosyslab.github.io prosyslab.github.io Public

    HTML 20

  2. publications publications Public

  3. sparrow sparrow Public

    OCaml 5 6

  4. bayesmith bayesmith Public

    C 1

  5. cil cil Public

    Forked from cil-project/cil

    C Intermediate Language

    OCaml 2

  6. claml claml Public

    C++ 2 4

Repositories

Showing 10 of 68 repositories
  • coreutils Public Forked from uutils/coreutils

    Cross-platform Rust rewrite of the GNU coreutils

    prosyslab/coreutils's past year of commit activity
    Rust 0 MIT 2,190 0 0 Updated Oct 31, 2026
  • dafnyutils Public
    prosyslab/dafnyutils's past year of commit activity
    Dafny 2 6 31 0 Updated Oct 30, 2026
  • wasmtime Public Forked from bytecodealliance/wasmtime

    A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

    prosyslab/wasmtime's past year of commit activity
    Rust 0 Apache-2.0 1,955 0 0 Updated Oct 28, 2026
  • prosys-codex-skills Public
    prosyslab/prosys-codex-skills's past year of commit activity
    Python 1 0 0 0 Updated Oct 28, 2026
  • dafny Public Forked from dafny-lang/dafny

    Dafny is a verification-aware programming language

    prosyslab/dafny's past year of commit activity
    C# 2 344 3 0 Updated Oct 27, 2026
  • ruler Public Forked from uwplse/ruler

    Rewrite Rule Inference Using Equality Saturation

    prosyslab/ruler's past year of commit activity
    Rust 0 MIT 16 0 0 Updated Oct 22, 2026
  • sightglass Public Forked from bytecodealliance/sightglass

    A benchmark suite and tool to compare different implementations of the same primitives.

    prosyslab/sightglass's past year of commit activity
    WebAssembly 0 Apache-2.0 40 0 0 Updated Oct 22, 2026
  • prosyslab.github.io Public
    prosyslab/prosyslab.github.io's past year of commit activity
    HTML 0 MIT 20 0 0 Updated Oct 19, 2026
  • veriquick Public
    prosyslab/veriquick's past year of commit activity
    Lean 0 5 0 0 Updated Oct 19, 2026
  • recursion Public
    prosyslab/recursion's past year of commit activity
    HTML 0 1 0 0 Updated Oct 15, 2026
View all repositories

People

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