Test monadic programs using state machine based models
Random testing library for C#
Generic random generators
A library for generative, property-based testing in TypeScript and Jest.
A simple state-machine framework for OCaml based on QCheck
Flow + Babel + TestCheck == QuickCheck in JavaScript
Quickcheck/hypothesis style testing for elisp
Randomized specification-based testing for Common Lisp. Available throug...
A JS implementation of quick_check
An overview of property-based testing functionality
Property based testing for AVA based on fast-check
Derive property based testing fast-check into a fuzzer for REST APIs
Effect-Driven Compiler Tester for OCaml
Fine-grain implementations of common lambda calculi in Haskell, tested w...
Signature inference for Functional Property Discovery in Haskell