Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "leancheck" keyword
Top 9.6% on hackage.haskell.org
32 versions - Latest release: 4 months ago - 5 dependent packages - 27 dependent repositories - 19.8 thousand downloads total - 51 stars on GitHub - 1 maintainer
leancheck 1.0.2
LeanCheck is a simple enumerative property-based testing library. Properties are defined as Hask...32 versions - Latest release: 4 months ago - 5 dependent packages - 27 dependent repositories - 19.8 thousand downloads total - 51 stars on GitHub - 1 maintainer
leancheck-instances 0.0.5
Listable instances for types provided by the Haskell Platform. The current objective is to inclu...5 versions - Latest release: over 1 year ago - 7 dependent repositories - 2.16 thousand downloads total - 1 stars on GitHub - 1 maintainer
test-framework-leancheck 0.0.4
LeanCheck support for test-framework. This package can be used to incorporate LeanCheck tests in...3 versions - Latest release: almost 3 years ago - 6 dependent repositories - 2.51 thousand downloads total - 1 stars on GitHub - 1 maintainer
tasty-leancheck 0.0.2
LeanCheck support for the Tasty test framework. This package can be used to incorporate LeanChec...2 versions - Latest release: almost 3 years ago - 7 dependent repositories - 1.24 thousand downloads total - 1 stars on GitHub - 1 maintainer
hspec-leancheck 0.0.6
LeanCheck support for the Hspec test framework. This package can be used to incorporate LeanChec...5 versions - Latest release: almost 3 years ago - 6 dependent repositories - 2.29 thousand downloads total - 2 stars on GitHub - 1 maintainer
fitspec 0.4.10
FitSpec provides automated assistance in the task of refining test properties for Haskell functio...15 versions - Latest release: almost 3 years ago - 7 dependent repositories - 9.45 thousand downloads total - 74 stars on GitHub - 1 maintainer
speculate 0.4.20
Speculate automatically discovers laws about Haskell functions. Give Speculate a bunch of Haskell...29 versions - Latest release: 3 months ago - 1 dependent package - 8 dependent repositories - 14.1 thousand downloads total - 30 stars on GitHub - 1 maintainer
extrapolate 0.4.6
Extrapolate is a tool able to provide generalized counter-examples of test properties where irrel...16 versions - Latest release: almost 3 years ago - 7 dependent repositories - 8.95 thousand downloads total - 13 stars on GitHub - 1 maintainer
Related Keywords
bsd3
8
library
8
testing
8
haskell
7
testing-tools
6
enumerative-testing
5
property-based-testing
5
property-testing
5
testing-framework
3
test-framework
1
tasty
1
hspec
1
mutation-testing
1
property-refinement
1
property-discovery
1
theory-exploration
1
counter-example-generalization
1
debugging
1
generalization
1