Repositories list

• dafnyutils

  Public
  Dafny

  •66 forks in prosyslab/dafnyutils•22 stars in prosyslab/dafnyutils•3131 issues in prosyslab/dafnyutils•00 pull requests in prosyslab/dafnyutils•Updated Nov 6, 2026Nov 6, 2026

• prosys-codex-skills

  Public
  Python

  •00 forks in prosyslab/prosys-codex-skills•11 star in prosyslab/prosys-codex-skills•00 issues in prosyslab/prosys-codex-skills•00 pull requests in prosyslab/prosys-codex-skills•Updated Nov 6, 2026Nov 6, 2026

• coreutils

  Public
  Cross-platform Rust rewrite of the GNU coreutils

  Rust

  •

  MIT License

  •2.2k2.2k forks in prosyslab/coreutils•00 stars in prosyslab/coreutils•00 issues in prosyslab/coreutils•00 pull requests in prosyslab/coreutils•Updated Nov 4, 2026Nov 4, 2026

• veriquick

  Public
  Lean

  •55 forks in prosyslab/veriquick•00 stars in prosyslab/veriquick•00 issues in prosyslab/veriquick•00 pull requests in prosyslab/veriquick•Updated Nov 4, 2026Nov 4, 2026

• dafny

  Public
  Dafny is a verification-aware programming language

  C#

  •

  Other

  •335335 forks in prosyslab/dafny•22 stars in prosyslab/dafny•33 issues in prosyslab/dafny•00 pull requests in prosyslab/dafny•Updated Nov 2, 2026Nov 2, 2026

• wasmtime

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

  Rust

  •

  Apache License 2.0

  •1.9k1.9k forks in prosyslab/wasmtime•00 stars in prosyslab/wasmtime•00 issues in prosyslab/wasmtime•00 pull requests in prosyslab/wasmtime•Updated Oct 28, 2026Oct 28, 2026

• ruler

  Public
  Rewrite Rule Inference Using Equality Saturation

  Rust

  •

  MIT License

  •1616 forks in prosyslab/ruler•00 stars in prosyslab/ruler•00 issues in prosyslab/ruler•00 pull requests in prosyslab/ruler•Updated Oct 22, 2026Oct 22, 2026

• sightglass

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

  WebAssembly

  •

  Apache License 2.0

  •3838 forks in prosyslab/sightglass•00 stars in prosyslab/sightglass•00 issues in prosyslab/sightglass•00 pull requests in prosyslab/sightglass•Updated Oct 22, 2026Oct 22, 2026

• prosyslab.github.io

  Public
  HTML

  •

  MIT License

  •2020 forks in prosyslab/prosyslab.github.io•00 stars in prosyslab/prosyslab.github.io•00 issues in prosyslab/prosyslab.github.io•00 pull requests in prosyslab/prosyslab.github.io•Updated Oct 19, 2026Oct 19, 2026

• recursion

  Public
  HTML

  •11 fork in prosyslab/recursion•00 stars in prosyslab/recursion•00 issues in prosyslab/recursion•00 pull requests in prosyslab/recursion•Updated Oct 15, 2026Oct 15, 2026

• unitcon-infer

  Public
  forked from facebook/infer

  OCaml

  •

  MIT License

  •00 forks in prosyslab/unitcon-infer•00 stars in prosyslab/unitcon-infer•00 issues in prosyslab/unitcon-infer•00 pull requests in prosyslab/unitcon-infer•Updated Oct 9, 2026Oct 9, 2026

• verusfmt

  Public
  An Opinionated Formatter for Verus

  Rust

  •

  MIT License

  •1818 forks in prosyslab/verusfmt•00 stars in prosyslab/verusfmt•00 issues in prosyslab/verusfmt•00 pull requests in prosyslab/verusfmt•Updated Oct 5, 2026Oct 5, 2026

• lean4

  Public
  Lean 4 programming language and theorem prover

  Lean

  •

  Apache License 2.0

  •1.1k1.1k forks in prosyslab/lean4•00 stars in prosyslab/lean4•00 issues in prosyslab/lean4•00 pull requests in prosyslab/lean4•Updated Sep 9, 2026Sep 9, 2026

• mathlib4

  Public
  The math library of Lean 4

  Lean

  •

  Apache License 2.0

  •1.8k1.8k forks in prosyslab/mathlib4•00 stars in prosyslab/mathlib4•00 issues in prosyslab/mathlib4•00 pull requests in prosyslab/mathlib4•Updated Sep 9, 2026Sep 9, 2026

• expecto-artifact

  Public
  Python

  •

  MIT License

  •77 forks in prosyslab/expecto-artifact•1212 stars in prosyslab/expecto-artifact•00 issues in prosyslab/expecto-artifact•00 pull requests in prosyslab/expecto-artifact•Updated Sep 4, 2026Sep 4, 2026

• bug-bench

  Public
  Shell

  •22 forks in prosyslab/bug-bench•00 stars in prosyslab/bug-bench•99 issues in prosyslab/bug-bench•00 pull requests in prosyslab/bug-bench•Updated Aug 7, 2026Aug 7, 2026

• pypy

  Public
  PyPy is a very fast and compliant implementation of the Python language.

  Python

  •

  Other

  •131131 forks in prosyslab/pypy•00 stars in prosyslab/pypy•00 issues in prosyslab/pypy•00 pull requests in prosyslab/pypy•Updated Jul 2, 2026Jul 2, 2026

• hydra

  Public
  Generalize LLVM peephole optimizations

  C++

  •

  Apache License 2.0

  •22 forks in prosyslab/hydra•00 stars in prosyslab/hydra•00 issues in prosyslab/hydra•00 pull requests in prosyslab/hydra•Updated Jul 2, 2026Jul 2, 2026

• publications

  Public
  00 forks in prosyslab/publications•00 stars in prosyslab/publications•00 issues in prosyslab/publications•00 pull requests in prosyslab/publications•Updated Jun 24, 2026Jun 24, 2026

• egglog

  Public
  egraphs + datalog!

  Rust

  •

  MIT License

  •125125 forks in prosyslab/egglog•00 stars in prosyslab/egglog•00 issues in prosyslab/egglog•00 pull requests in prosyslab/egglog•Updated May 28, 2026May 28, 2026

• rustc_codegen_cranelift

  Public
  Cranelift based backend for rustc

  Rust

  •

  Apache License 2.0

  •168168 forks in prosyslab/rustc_codegen_cranelift•00 stars in prosyslab/rustc_codegen_cranelift•00 issues in prosyslab/rustc_codegen_cranelift•00 pull requests in prosyslab/rustc_codegen_cranelift•Updated May 27, 2026May 27, 2026

• pl-wiki

  Public
  66 forks in prosyslab/pl-wiki•4848 stars in prosyslab/pl-wiki•00 issues in prosyslab/pl-wiki•00 pull requests in prosyslab/pl-wiki•Updated May 15, 2026May 15, 2026

• nl-2-postcond

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

  Python

  •

  MIT License

  •77 forks in prosyslab/nl-2-postcond•00 stars in prosyslab/nl-2-postcond•00 issues in prosyslab/nl-2-postcond•00 pull requests in prosyslab/nl-2-postcond•Updated Mar 20, 2026Mar 20, 2026

• optimuzz

  Public
  OCaml

  •00 forks in prosyslab/optimuzz•1616 stars in prosyslab/optimuzz•00 issues in prosyslab/optimuzz•00 pull requests in prosyslab/optimuzz•Updated Mar 17, 2026Mar 17, 2026

• logger

  Public
  OCaml

  •11 fork in prosyslab/logger•22 stars in prosyslab/logger•11 issue in prosyslab/logger•00 pull requests in prosyslab/logger•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

  •55 forks in prosyslab/alive-nj•00 stars in prosyslab/alive-nj•00 issues in prosyslab/alive-nj•00 pull requests in prosyslab/alive-nj•Updated Feb 25, 2026Feb 25, 2026

• DAFL

  Public
  american fuzzy lop - a security-oriented fuzzer

  sec23dafl

  sec23dafl

  C

  •

  Apache License 2.0

  •672672 forks in prosyslab/DAFL•1111 stars in prosyslab/DAFL•00 issues in prosyslab/DAFL•00 pull requests in prosyslab/DAFL•Updated Feb 25, 2026Feb 25, 2026

• llvm-builds

  Public
  prebuilt LLVM and OCaml bindings as OPAM packages

  Shell

  •00 forks in prosyslab/llvm-builds•00 stars in prosyslab/llvm-builds•00 issues in prosyslab/llvm-builds•00 pull requests in prosyslab/llvm-builds•Updated Nov 23, 2025Nov 23, 2025

• unitcon

  Public
  OCaml

  •00 forks in prosyslab/unitcon•22 stars in prosyslab/unitcon•00 issues in prosyslab/unitcon•00 pull requests in prosyslab/unitcon•Updated Jul 27, 2025Jul 27, 2025

• unitcon-artifact

  Public
  Java

  •

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

  •00 forks in prosyslab/unitcon-artifact•00 stars in prosyslab/unitcon-artifact•00 issues in prosyslab/unitcon-artifact•00 pull requests in prosyslab/unitcon-artifact•Updated May 18, 2025May 18, 2025