Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org maintainers: NickSmallbone
Top 0.9% on hackage.haskell.org
60 versions - Latest release: 12 months ago - 246 dependent packages - 7,326 dependent repositories - 434 thousand downloads total - 691 stars on GitHub - 4 maintainers
QuickCheck 2.14.3
QuickCheck is a library for random testing of program properties. The programmer provides a speci...60 versions - Latest release: 12 months ago - 246 dependent packages - 7,326 dependent repositories - 434 thousand downloads total - 691 stars on GitHub - 4 maintainers
jukebox 0.5.5
47 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 27.3 thousand downloads total - 1 maintainertwee 2.4.2
Twee is an experimental equational theorem prover based on Knuth-Bendix completion. Given a set ...14 versions - Latest release: over 1 year ago - 5.18 thousand downloads total - 43 stars on GitHub - 1 maintainer
twee-lib 2.4.2
An equational theorem prover based on Knuth-Bendix completion12 versions - Latest release: over 1 year ago - 1 dependent package - 2 dependent repositories - 5.05 thousand downloads total - 43 stars on GitHub - 1 maintainer
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 3 years ago - 6 dependent repositories - 9.53 thousand downloads total - 247 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: about 5 years ago - 1 dependent package - 1 dependent repositories - 2.34 thousand downloads total - 4 stars on GitHub - 1 maintainer