hackage.haskell.org "property-based-testing" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "property-based-testing" keyword.
swagger-test 0.2.7
This package provides a library and executable tool that supports testing APIs specified with Swa...8 versions - Latest release: over 8 years ago - 1 dependent repositories - 4.88 thousand downloads total - 32 stars on GitHub - 1 maintainer
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
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
lawful-classes-types 0.1.0.2
Type definitions (aliases) and basic utility functions used in the lawful-classes ecosystem.3 versions - Latest release: about 3 years ago - 2 dependent packages - 242 downloads total - 0 stars on GitHub - 1 maintainer
lawful-classes-quickcheck 0.1.2.1
Support code to check lawful-classes laws using QuickCheck and, optionally, Tasty.5 versions - Latest release: about 3 years ago - 344 downloads total - 0 stars on GitHub - 1 maintainer
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
lawful-classes-hedgehog 0.1.2.1
Support code to check lawful-classes laws using Hedgehog and, optionally, Tasty.5 versions - Latest release: about 3 years ago - 269 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
library
12
testing
12
Propose Tags
12
bsd3
9
haskell
9
property-testing
8
leancheck
5
enumerative-testing
5
quickcheck
4
testing-tools
4
apache
3
laws
3
smallcheck
2
test
1
swagger
1
program
1
mutation-testing
1
property-refinement
1
counter-example-generalization
1
debugging
1
generalization
1
deprecated
1
property-discovery
1
theory-exploration
1