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 19

  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 57 repositories
  • alive-nj Public Forked from rutgers-apl/alive-nj

    Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM

    prosyslab/alive-nj’s past year of commit activity
    Python 0 7 0 0 Updated Feb 25, 2026
  • DAFL Public Forked from google/AFL

    american fuzzy lop - a security-oriented fuzzer

    prosyslab/DAFL’s past year of commit activity
    C 11 Apache-2.0 684 0 0 Updated Feb 25, 2026
  • prosyslab.github.io Public
    prosyslab/prosyslab.github.io’s past year of commit activity
    HTML 0 MIT 19 0 0 Updated Feb 24, 2026
  • dafny Public Forked from dafny-lang/dafny

    Dafny is a verification-aware programming language

    prosyslab/dafny’s past year of commit activity
    C# 1 310 3 0 Updated Feb 24, 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,668 0 0 Updated Jan 29, 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
    C 0 Apache-2.0 38 0 0 Updated Jan 8, 2026
  • rustc_codegen_cranelift Public Forked from rust-lang/rustc_codegen_cranelift

    Cranelift based backend for rustc

    prosyslab/rustc_codegen_cranelift’s past year of commit activity
    Rust 0 Apache-2.0 136 0 0 Updated Jan 8, 2026
  • publications Public
    prosyslab/publications’s past year of commit activity
    0 0 0 0 Updated Nov 25, 2025
  • pl-wiki Public
    prosyslab/pl-wiki’s past year of commit activity
    48 6 0 0 Updated Nov 25, 2025
  • llvm-builds Public

    prebuilt LLVM and OCaml bindings as OPAM packages

    prosyslab/llvm-builds’s past year of commit activity
    Shell 0 0 0 0 Updated Nov 23, 2025
View all repositories

People

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