Repositories list

• dafny

  Public
  Dafny is a verification-aware programming language

  C#

  •

  Other

  •298•1•3•0•Updated Feb 8, 2026Feb 8, 2026

• wasmtime

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

  Rust

  •

  Apache License 2.0

  •1.6k•0•0•0•Updated Jan 29, 2026Jan 29, 2026

• prosyslab.github.io

  Public
  HTML

  •

  MIT License

  •18•0•0•0•Updated Jan 22, 2026Jan 22, 2026

• sightglass

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

  C

  •

  Apache License 2.0

  •36•0•0•0•Updated Jan 8, 2026Jan 8, 2026

• rustc_codegen_cranelift

  Public
  Cranelift based backend for rustc

  Rust

  •

  Apache License 2.0

  •125•0•0•0•Updated Jan 8, 2026Jan 8, 2026

• publications

  Public
  0•0•0•0•Updated Nov 25, 2025Nov 25, 2025

• pl-wiki

  Public
  6•48•0•0•Updated Nov 25, 2025Nov 25, 2025

• llvm-builds

  Public
  prebuilt LLVM and OCaml bindings as OPAM packages

  Shell

  •0•0•0•0•Updated Nov 23, 2025Nov 23, 2025

• unitcon-infer

  Public
  OCaml

  •

  MIT License

  •0•0•0•0•Updated Nov 18, 2025Nov 18, 2025

• hydra

  Public
  Generalize LLVM peephole optimizations

  C++

  •

  Apache License 2.0

  •2•0•0•0•Updated Nov 10, 2025Nov 10, 2025

• alive-nj

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

  Python

  •6•0•0•0•Updated Oct 19, 2025Oct 19, 2025

• nl-2-postcond

  Public
  Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages

  Python

  •

  MIT License

  •3•0•0•0•Updated Oct 13, 2025Oct 13, 2025

• optimuzz

  Public
  OCaml

  •0•14•0•0•Updated Oct 1, 2025Oct 1, 2025

• bug-bench

  Public
  Shell

  •2•0•9•0•Updated Aug 28, 2025Aug 28, 2025

• recursion

  Public
  HTML

  •1•0•0•0•Updated Aug 11, 2025Aug 11, 2025

• unitcon

  Public
  OCaml

  •0•1•0•0•Updated Jul 27, 2025Jul 27, 2025

• unitcon-artifact

  Public
  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated May 18, 2025May 18, 2025

• turbotv-fuzzilli

  Public
  Swift

  •

  Apache License 2.0

  •0•0•0•0•Updated Apr 22, 2025Apr 22, 2025

• turbo-tv

  Public
  Translation Validation for TurboFan

  turbo-tvicse24

  OCaml

  •1•10•0•0•Updated Apr 22, 2025Apr 22, 2025

• sparrow

  Public
  OCaml

  •

  Other

  •6•5•0•0•Updated Feb 18, 2025Feb 18, 2025

• claml

  Public
  C++

  •4•2•3•0•Updated Feb 18, 2025Feb 18, 2025

• cil

  Public
  C Intermediate Language

  OCaml

  •

  Other

  •102•0•0•0•Updated Feb 18, 2025Feb 18, 2025

• smake

  Public
  Shell

  •2•0•0•0•Updated Jan 9, 2025Jan 9, 2025

• patron-artifact

  Public

  prosyslab/patron-artifact’s past year of commit activity
  C

  •0•0•0•0•Updated Dec 31, 2024Dec 31, 2024

• patron

  Public
  Bug Pattern Matching Tool using SMT Solver for Patch Transplantation

  OCaml

  •0•1•0•0•Updated Dec 31, 2024Dec 31, 2024

• bugsynth

  Public
  HTML

  •0•2•0•0•Updated Oct 30, 2024Oct 30, 2024

• DAFL-artifact

  Public
  sec23dafl

  Python

  •7•49•1•0•Updated Oct 27, 2024Oct 27, 2024

• tracer

  Public
  Signature-based Static Analysis for Detecting Recurring Vulnerabilities

  ccs22

  OCaml

  •6•50•1•0•Updated Sep 25, 2024Sep 25, 2024

• flex-artifact

  Public
  Shell

  •0•1•0•0•Updated Aug 20, 2024Aug 20, 2024

• bayesmith

  Public
  icse22bayesmith

  C

  •0•1•0•0•Updated Jul 23, 2024Jul 23, 2024