jmid

A simple state-machine framework for OCaml based on QCheck

Effect-Driven Compiler Tester for OCaml

A model-based QuickCheck test of ptrees (Patricia trees)

A library for quickchecking lattice modules and associated operations