Record and Replay Framework

print nested boxes, lists, arrays, tables in several formats

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

CaDiCaL SAT Solver

Test suite to help you write your own C compiler

Concurrent Programming with Effect Handlers

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction