hackage.haskell.org "property-testing" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "property-testing" keyword.
Top 5.7% on hackage.haskell.org
24 versions - Latest release: about 5 years ago - 2 dependent packages - 277 dependent repositories - 52.4 thousand downloads total - 134 stars on GitHub - 6 maintainers
smallcheck 1.2.1
As of 2023, this library is largely obsolete: arbitrary test generators with shrinking such as fa...24 versions - Latest release: about 5 years ago - 2 dependent packages - 277 dependent repositories - 52.4 thousand downloads total - 134 stars on GitHub - 6 maintainers
Top 1.6% on hackage.haskell.org
28 versions - Latest release: over 3 years ago - 36 dependent packages - 505 dependent repositories - 49 thousand downloads total - 669 stars on GitHub - 2 maintainers
hedgehog 1.1.2
Hedgehog automatically generates a comprehensive array of test cases, exercising your software in...28 versions - Latest release: over 3 years ago - 36 dependent packages - 505 dependent repositories - 49 thousand downloads total - 669 stars on GitHub - 2 maintainers
fitspec 0.4.10
FitSpec provides automated assistance in the task of refining test properties for Haskell functio...15 versions - Latest release: over 4 years ago - 7 dependent repositories - 10 thousand downloads total - 75 stars on GitHub - 1 maintainer
leancheck-instances 0.0.8
Listable instances for types provided by the Haskell Platform. The current objective is to inclu...7 versions - Latest release: 9 months ago - 7 dependent repositories - 2.46 thousand downloads total - 1 stars on GitHub - 1 maintainer
hedgehog-gen 0.1.0.0
Customizable Gen for ADT using Generics with the abilites to do type-based and field-based overri...1 version - Latest release: almost 6 years ago - 1 dependent repositories - 486 downloads total - 1 stars on GitHub - 1 maintainer
loc-test 0.1.3.13
This package contains Hedgehog generators types defined in the loc package.14 versions - Latest release: about 3 years ago - 6.4 thousand downloads total - 0 stars on GitHub - 2 maintainers
extrapolate 0.4.6
Extrapolate is a tool able to provide generalized counter-examples of test properties where irrel...16 versions - Latest release: over 4 years ago - 7 dependent repositories - 9.52 thousand downloads total - 13 stars on GitHub - 1 maintainer
test-framework-smallcheck 0.1.1
Test your Haskell code by exhaustively checking its properties3 versions - Latest release: almost 14 years ago - 34 dependent repositories - 5.77 thousand downloads total - 136 stars on GitHub - 2 maintainers
speculate 0.4.20
Speculate automatically discovers laws about Haskell functions. Give Speculate a bunch of Haskell...29 versions - Latest release: almost 2 years ago - 1 dependent package - 8 dependent repositories - 15.2 thousand downloads total - 30 stars on GitHub - 1 maintainer
hedgehog-optics 1.0.0
Hedgehog properties for optics laws5 versions - Latest release: over 4 years ago - 533 downloads total - 2 stars on GitHub - 2 maintainers
partial-semigroup-hedgehog 0.6.0.15
Provides a hedgehog property to check the associativity axiom for the PartialSemigroup class defi...15 versions - Latest release: over 2 years ago - 4.86 thousand downloads total - 0 stars on GitHub - 2 maintainers
Top 9.6% on hackage.haskell.org
33 versions - Latest release: 6 months ago - 5 dependent packages - 27 dependent repositories - 21.5 thousand downloads total - 52 stars on GitHub - 1 maintainer
leancheck 1.0.4
LeanCheck is a simple enumerative property-based testing library. Properties are defined as Hask...33 versions - Latest release: 6 months ago - 5 dependent packages - 27 dependent repositories - 21.5 thousand downloads total - 52 stars on GitHub - 1 maintainer
Related Keywords
library
12
testing
12
Propose Tags
12
bsd3
9
haskell
9
property-based-testing
8
leancheck
5
enumerative-testing
5
testing-tools
4
haskell-library
3
smallcheck
2
apache
2
optics
1
algebra
1
mit
1
theory-exploration
1
property-discovery
1
deprecated
1
generalization
1
debugging
1
counter-example-generalization
1
text
1
hedgehog
1
property-refinement
1
mutation-testing
1
test
1
quickcheck
1