Ernest Ng

mica. A PPX deriver that automates differential testing for OCaml modules

pbt-bibliography. A collaborative bibliography of papers related to property-based testing

chamelean. Property-based testing for Lean via metaprogramming

urn-rs. A Rust implementation of the Urn data structure for efficient random sampling

regexes. Proving Brzozowski & Antimirov derivatives (and zippers) equivalent in Coq

aeneas. A verification toolchain for Rust programs

cs242-f19. Stanford's CS 242 PL course (Fall 2019)

flat-bril. A flattened AST for Bril + an interpreter over the flat file format

ocaml-empty-project. An opinionated OCaml starter template repo