Top 0.9% on hackage.haskell.org
65 versions - Latest release: almost 3 years ago - 246 dependent packages - 7,326 dependent repositories - 444 thousand downloads total - 755 stars on GitHub - 4 maintainers
QuickCheck 2.14.3
QuickCheck is a library for random testing of program properties. The programmer provides a speci...65 versions - Latest release: almost 3 years ago - 246 dependent packages - 7,326 dependent repositories - 444 thousand downloads total - 755 stars on GitHub - 4 maintainers
quickspec 2.1.5
QuickSpec takes your Haskell code and, as if by magic, discovers laws about it. You give QuickSpe...15 versions - Latest release: over 5 years ago - 6 dependent repositories - 10.1 thousand downloads total - 259 stars on GitHub - 1 maintainer
quickcheck-with-counterexamples 1.2
When QuickCheck finds a counterexample, it prints it out but doesn't save it so that the programm...3 versions - Latest release: almost 7 years ago - 1 dependent package - 1 dependent repositories - 2.57 thousand downloads total - 4 stars on GitHub - 1 maintainer
twee 2.6.1
Twee is an experimental equational theorem prover based on Knuth-Bendix completion. Given a set ...16 versions - Latest release: about 2 months ago - 5.84 thousand downloads total - 54 stars on GitHub - 1 maintainer
twee-lib 2.6.1
An equational theorem prover based on Knuth-Bendix completion14 versions - Latest release: about 2 months ago - 1 dependent package - 2 dependent repositories - 5.76 thousand downloads total - 49 stars on GitHub - 1 maintainer
jukebox 0.5.9
51 versions - Latest release: 6 months ago - 1 dependent package - 1 dependent repositories - 29 thousand downloads total - 1 maintainerDetails
| Login | NickSmallbone |
| Profile | View on hackage.haskell.org |