haskell-checkers/checkers

Check properties on standard classes and data structures

Haskell

229 commits

updated Oct 8, 2025

README

checkers is a library for reusable QuickCheck properties, particularly for standard type classes (class laws and class morphisms). Checkers also has lots of support for randomly generating data values (thanks to Thomas Davie).

Contributors

135 commits

38 commits

19 commits

13 commits

Similar repos

nick8325/quickcheck

Automatic testing of Haskell programs.

790

Bodigrim/smallcheck

Test your Haskell code by exhaustively checking its properties

136

batterseapower/test-framework

Framework for running and organising QuickCheck test properties and HUnit test cases

purescript/purescript-quickcheck

An implementation of QuickCheck in PureScript

108

c-cube/qcheck

QuickCheck inspired property-based testing for OCaml.

407

jmid/pbt-frameworks

An overview of property-based testing functionality

D-Yurtaev/test-generation

QuickChick/QuickChick

Randomized Property-Based Testing Plugin for Coq

292

Languages

Haskell

99.9%

haskell-checkers/checkers

Check properties on standard classes and data structures

Haskell

229 commits

updated Oct 8, 2025

See the code

README

Similar repos

nick8325/quickcheck

Automatic testing of Haskell programs.

790

Bodigrim/smallcheck

Test your Haskell code by exhaustively checking its properties

136

batterseapower/test-framework

Framework for running and organising QuickCheck test properties and HUnit test cases

purescript/purescript-quickcheck

An implementation of QuickCheck in PureScript

108

c-cube/qcheck

QuickCheck inspired property-based testing for OCaml.

407

jmid/pbt-frameworks

An overview of property-based testing functionality

D-Yurtaev/test-generation

QuickChick/QuickChick

Randomized Property-Based Testing Plugin for Coq

292

Contributors

135 commits

38 commits

19 commits

13 commits

Languages

Haskell

99.9%