Pinned Loading

1. mica mica Public

   A PPX deriver that automates differential testing for OCaml modules

   OCaml 25 1

2. chamelean chamelean Public

   Forked from thanhnguyen-aws/plausible

   Property-based testing for Lean via metaprogramming

   Lean 7 1

3. regexes regexes Public

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

   Coq 4

4. urn-rs urn-rs Public

   A Rust implementation of the Urn data structure for efficient random sampling

   Rust 7

5. flat-bril flat-bril Public

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

   Rust 1

6. pbt-bibliography pbt-bibliography Public

   A collaborative bibliography of papers related to property-based testing

   15