Pinned Loading

1. mica mica Public

   A PPX deriver that automates differential testing for OCaml modules

   OCaml 24 1

2. regexes regexes Public

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

   Coq 1

3. parser-combinator-class parser-combinator-class Public

   Teaching materials on Parser Combinators, designed for UPenn's Intro to Haskell class

   Haskell

4. urn-rs urn-rs Public

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

   Rust 5

5. pbt-bibliography pbt-bibliography Public

   A collaborative bibliography of papers related to property-based testing

   11