Repositories list

• wasmtime

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

  Rust

  •

  Apache License 2.0

  •1.7k1.7k forks•00 stars•00 issues•00 pull requests•Updated Apr 26, 2026Apr 26, 2026

• unitcon-infer

  Public
  OCaml

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 21, 2026Apr 21, 2026

• prosyslab.github.io

  Public
  HTML

  •

  MIT License

  •1919 forks•00 stars•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• publications

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• expecto-artifact

  Public
  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• rustc_codegen_cranelift

  Public
  Cranelift based backend for rustc

  Rust

  •

  Apache License 2.0

  •134134 forks•00 stars•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• sightglass

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

  C

  •

  Apache License 2.0

  •3636 forks•00 stars•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• dafny

  Public
  Dafny is a verification-aware programming language

  C#

  •

  Other

  •315315 forks•22 stars•33 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• nl-2-postcond

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

  Python

  •

  MIT License

  •55 forks•00 stars•00 issues•00 pull requests•Updated Mar 20, 2026Mar 20, 2026

• hydra

  Public
  Generalize LLVM peephole optimizations

  C++

  •

  Apache License 2.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Mar 19, 2026Mar 19, 2026

• optimuzz

  Public
  OCaml

  •00 forks•1515 stars•00 issues•00 pull requests•Updated Mar 17, 2026Mar 17, 2026

• logger

  Public
  OCaml

  •11 fork•22 stars•11 issue•00 pull requests•Updated Mar 9, 2026Mar 9, 2026

• alive-nj

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

  Python

  •66 forks•00 stars•00 issues•00 pull requests•Updated Feb 25, 2026Feb 25, 2026

• DAFL

  Public
  american fuzzy lop - a security-oriented fuzzer

  sec23dafl

  sec23dafl

  C

  •

  Apache License 2.0

  •669669 forks•1111 stars•00 issues•00 pull requests•Updated Feb 25, 2026Feb 25, 2026

• pl-wiki

  Public
  66 forks•4848 stars•00 issues•00 pull requests•Updated Nov 25, 2025Nov 25, 2025

• llvm-builds

  Public
  prebuilt LLVM and OCaml bindings as OPAM packages

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 23, 2025Nov 23, 2025

• bug-bench

  Public
  Shell

  •22 forks•00 stars•99 issues•00 pull requests•Updated Aug 28, 2025Aug 28, 2025

• recursion

  Public
  HTML

  •11 fork•00 stars•00 issues•00 pull requests•Updated Aug 11, 2025Aug 11, 2025

• unitcon

  Public
  OCaml

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 27, 2025Jul 27, 2025

• unitcon-artifact

  Public
  Java

  •

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

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 18, 2025May 18, 2025

• turbotv-fuzzilli

  Public
  Swift

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 22, 2025Apr 22, 2025

• turbo-tv

  Public
  Translation Validation for TurboFan

  turbo-tvicse24

  turbo-tvicse24

  OCaml

  •11 fork•1010 stars•00 issues•00 pull requests•Updated Apr 22, 2025Apr 22, 2025

• sparrow

  Public
  OCaml

  •

  Other

  •66 forks•55 stars•00 issues•00 pull requests•Updated Feb 18, 2025Feb 18, 2025

• claml

  Public
  C++

  •44 forks•22 stars•33 issues•00 pull requests•Updated Feb 18, 2025Feb 18, 2025

• cil

  Public
  C Intermediate Language

  OCaml

  •

  Other

  •102102 forks•00 stars•00 issues•00 pull requests•Updated Feb 18, 2025Feb 18, 2025

• smake

  Public
  Shell

  •22 forks•00 stars•00 issues•00 pull requests•Updated Jan 9, 2025Jan 9, 2025

• patron-artifact

  Public
  C

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 31, 2024Dec 31, 2024

• patron

  Public
  Bug Pattern Matching Tool using SMT Solver for Patch Transplantation

  OCaml

  •00 forks•11 star•00 issues•00 pull requests•Updated Dec 31, 2024Dec 31, 2024

• bugsynth

  Public
  HTML

  •00 forks•22 stars•00 issues•00 pull requests•Updated Oct 30, 2024Oct 30, 2024

• DAFL-artifact

  Public
  sec23dafl

  sec23dafl

  Python

  •77 forks•5050 stars•11 issue•00 pull requests•Updated Oct 27, 2024Oct 27, 2024