Top 0.1% downloads on hackage.haskell.org
Top 0.1% dependent packages on hackage.haskell.org
Top 0.1% dependent repos on hackage.haskell.org
Top 2.8% forks on hackage.haskell.org
Top 1.3% docker downloads on hackage.haskell.org
hackage.haskell.org : QuickCheck
QuickCheck is a library for random testing of program properties. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators provided by QuickCheck. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. Most of QuickCheck's functionality is exported by the main Test.QuickCheck module. The main exception is the monadic property testing library in Test.QuickCheck.Monadic. If you are new to QuickCheck, you can try looking at the following resources: The official QuickCheck manual. It's a bit out-of-date in some details and doesn't cover newer QuickCheck features, but is still full of good advice. https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html, a detailed tutorial written by a user of QuickCheck. The quickcheck-instances companion package provides instances for types in Haskell Platform packages at the cost of additional dependencies.
Registry
-
Source
- JSON
- codemeta.json
purl: pkg:hackage/QuickCheck
Keywords:
bsd3
, library
, testing
, Propose Tags
License: BSD-3-Clause
Latest release: over 2 years ago
First release: over 19 years ago
Dependent packages: 246
Dependent repositories: 7,326
Downloads: 444,185 total
Stars: 755 on GitHub
Forks: 126 on GitHub
Docker dependents: 3
Docker downloads: 292
Total Commits: 1043
Committers: 79
Average commits per author: 13.203
Development Distribution Score (DDS): 0.726
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: about 15 hours ago
Z-Data 2.0.1.0
This package provides array, slice and text operations50 versions - Latest release: over 1 year ago - 3 dependent packages - 3 dependent repositories - 17.4 thousand downloads total - 70 stars on GitHub - 2 maintainers
aeson 2.2.3.0
A JSON parsing and encoding library optimized for ease of use and high performance. To get start...98 versions - Latest release: over 1 year ago - 720 dependent packages - 10,280 dependent repositories - 602 thousand downloads total - 1,288 stars on GitHub - 6 maintainers
vec 0.5.1
Nat, Fin, Vec10 versions - Latest release: over 1 year ago - 2 dependent packages - 12 dependent repositories - 6.51 thousand downloads total - 25 stars on GitHub - 1 maintainer
ral 0.2.2
Nat, Fin, Vec4 versions - Latest release: over 1 year ago - 1 dependent package - 8 dependent repositories - 9.25 thousand downloads total - 25 stars on GitHub - 1 maintainer
bin 0.1.4
Nat, Fin, Vec5 versions - Latest release: over 1 year ago - 1 dependent package - 6 dependent repositories - 9.14 thousand downloads total - 25 stars on GitHub - 1 maintainer
network-arbitrary 1.0.0.1
You can use network-arbitrary to provide Arbitrary instances for Network module types.11 versions - Latest release: over 1 year ago - 3 dependent repositories - 4.33 thousand downloads total - 1 stars on GitHub - 1 maintainer
word8set 0.1.2
Word8 set3 versions - Latest release: over 1 year ago - 1 dependent package - 210 downloads total - 1 stars on GitHub - 1 maintainer
gasp 1.4.0.0
6 versions - Latest release: over 1 year ago - 5 dependent repositories - 3.83 thousand downloads total - 1 maintainercomfort-array 0.5.5
23 versions - Latest release: over 1 year ago - 13 dependent packages - 6 dependent repositories - 7.8 thousand downloads total - 1 maintainercornelis 0.2.0.1
Please see the README on GitHub at https://github.com/isovector/cornelis#readme2 versions - Latest release: almost 2 years ago - 1 dependent package - 138 downloads total - 168 stars on GitHub - 1 maintainer
lattices 2.2.1
Fine-grained lattice primitives for Haskell20 versions - Latest release: almost 2 years ago - 9 dependent packages - 128 dependent repositories - 25.8 thousand downloads total - 37 stars on GitHub - 2 maintainers
refined 0.8.2
For an extensive introduction to the library please follow to this blog-post.26 versions - Latest release: almost 2 years ago - 9 dependent packages - 34 dependent repositories - 14.4 thousand downloads total - 188 stars on GitHub - 2 maintainers
kudzu 0.1.1.0
Kudzu is a coverage driven random testing framework2 versions - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 180 downloads total - 24 stars on GitHub - 1 maintainer
smcdel 1.3.0
See README.md for references and documentation.4 versions - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 1.34 thousand downloads total - 47 stars on GitHub - 1 maintainer
synthesizer-core 0.8.4
31 versions - Latest release: almost 2 years ago - 5 dependent packages - 13 dependent repositories - 22.3 thousand downloads total - 1 maintainercollect-errors 0.1.6.0
Please see the README on GitHub at https://github.com/michalkonecny/collect-errors#readme8 versions - Latest release: almost 2 years ago - 5 dependent packages - 8 dependent repositories - 1.89 thousand downloads total - 1 stars on GitHub - 1 maintainer
monad-bayes 1.3.0
A library for probabilistic programming using probability monads. The emphasis is on composition ...12 versions - Latest release: almost 2 years ago - 2 dependent packages - 5 dependent repositories - 1.9 thousand downloads total - 439 stars on GitHub - 2 maintainers
yesod-session-persist 0.0.0.2
Use Persistent to store Yesod sessions3 versions - Latest release: almost 2 years ago - 1 dependent package - 202 downloads total - 2 stars on GitHub - 6 maintainers
event-list 0.1.3
20 versions - Latest release: almost 2 years ago - 10 dependent packages - 29 dependent repositories - 18.7 thousand downloads total - 1 maintainerproto3-suite 0.7.0
9 versions - Latest release: almost 2 years ago - 1 dependent package - 7 dependent repositories - 4.09 thousand downloads total - 5 maintainersGenSmsPdu 0.2.0.0
2 versions - Latest release: about 2 years ago - 1 dependent package - 1.48 thousand downloads total - 0 stars on GitHub - 2 maintainersansi-terminal-game 1.9.3.0
Library which aims to replicate standard 2d game functions (blit, ticks, timers, etc.) in a termi...35 versions - Latest release: about 2 years ago - 2 dependent packages - 7 dependent repositories - 11.7 thousand downloads total - 1 maintainer
ordinal 0.6.0.0 💰
A package based on Python's num2words package that converts numbers to words in different languag...14 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 2.5 thousand downloads total - 1 stars on GitHub - 1 maintainer
fuzzy-time-gen 0.3.0.0 💰
5 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 931 downloads total - 6 stars on GitHub - 1 maintainerhappy-arbitrary 0.0.1
1 version - Latest release: about 2 years ago - 79 downloads total - 1 maintainerhls-eval-plugin 2.6.0.0
Please see the README on GitHub at https://github.com/haskell/haskell-language-server#readme26 versions - Latest release: about 2 years ago - 1 dependent package - 7.49 thousand downloads total - 6 maintainers
ltext 0.1.5
Please see the README on GitHub at https://github.com/ltext/ltext#README18 versions - Latest release: about 2 years ago - 1 dependent package - 18 dependent repositories - 8.62 thousand downloads total - 36 stars on GitHub - 1 maintainer
coinor-clp 0.0.0.2
3 versions - Latest release: about 2 years ago - 305 downloads total - 1 maintainerservant-aeson-generics-typescript 0.0.0.2
This project leveratges aeson-generics-typescript to generate type safe API bindings in TypeScrip...2 versions - Latest release: about 2 years ago - 167 downloads total - 1 maintainer
linear-programming 0.0.1
3 versions - Latest release: about 2 years ago - 3 dependent packages - 350 downloads total - 1 maintainerhighs-lp 0.0
1 version - Latest release: about 2 years ago - 88 downloads total - 1 maintainertahoe-great-black-swamp-testing 0.5.0.0
1 version - Latest release: about 2 years ago - 105 downloads total - 0 stars on gitlab.com - 2 maintainersgithub-tools 0.1.2
3 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 1.85 thousand downloads total - 1 maintainerdisco 0.1.6
Disco is a simple functional programming language for use in teaching discrete math. Its syntax ...9 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 802 downloads total - 1 maintainer
aeson-generics-typescript 0.0.0.1
This project uses GHC.Generics to generate TypeScript type definitions that match the Generic Ase...1 version - Latest release: about 2 years ago - 1 dependent package - 94 downloads total - 1 maintainer
mueval 0.9.4
Mueval is a Haskell interpreter. It uses the GHC API to evaluate arbitrary Haskell expressions. I...25 versions - Latest release: about 2 years ago - 3 dependent packages - 22 dependent repositories - 27.7 thousand downloads total - 76 stars on GitHub - 4 maintainers
explainable-predicates 0.1.2.4
Explainable predicates are essentially functions from types to Bool which can additionally descri...7 versions - Latest release: about 2 years ago - 1 dependent package - 8 dependent repositories - 1.87 thousand downloads total - 8 stars on GitHub - 1 maintainer
openapi3 3.2.4
This library is intended to be used for decoding and encoding OpenAPI 3.0 API specifications as w...10 versions - Latest release: about 2 years ago - 16 dependent packages - 57 dependent repositories - 10.2 thousand downloads total - 39 stars on GitHub - 1 maintainer
Flint2 0.1.0.5
This library provides access to the functionality of the FLINT. FLINT is a C library for doing nu...6 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 302 downloads total - 4 stars on GitHub - 1 maintainer
basic-sop 0.3.0
11 versions - Latest release: over 2 years ago - 1 dependent repositories - 8.34 thousand downloads total - 2 maintainersChart-tests 1.9.4
A 2D charting library for haskell2 versions - Latest release: over 2 years ago - 614 downloads total - 438 stars on GitHub - 1 maintainer
compdata 0.13.1
32 versions - Latest release: over 2 years ago - 1 dependent package - 134 dependent repositories - 27.9 thousand downloads total - 1 maintainergenvalidity-mergeful 0.3.0.1 💰
Safely synchronise values with safe merge conflicts.5 versions - Latest release: over 2 years ago - 2 dependent repositories - 1.61 thousand downloads total - 7 stars on GitHub - 1 maintainer
non-empty 0.3.5
14 versions - Latest release: over 2 years ago - 25 dependent packages - 21 dependent repositories - 11.2 thousand downloads total - 1 maintainergenvalidity-unordered-containers 1.0.0.1 💰
Validity and validity-based testing10 versions - Latest release: over 2 years ago - 8 dependent repositories - 5.49 thousand downloads total - 156 stars on GitHub - 1 maintainer
genvalidity-sydtest-hashable 1.0.0.1 💰
Validity and validity-based testing3 versions - Latest release: over 2 years ago - 2 dependent repositories - 710 downloads total - 156 stars on GitHub - 1 maintainer
genvalidity-persistent 1.0.0.2 💰
Validity and validity-based testing4 versions - Latest release: over 2 years ago - 15 dependent repositories - 759 downloads total - 156 stars on GitHub - 1 maintainer
genvalidity-hspec-hashable 1.0.0.1 💰
Validity and validity-based testing10 versions - Latest release: over 2 years ago - 7 dependent repositories - 4.9 thousand downloads total - 156 stars on GitHub - 1 maintainer
bv-little 1.3.2
. This package contains a time- and space- efficient implementation of little-endian, immutable b...10 versions - Latest release: over 2 years ago - 3 dependent packages - 2 dependent repositories - 4.45 thousand downloads total - 1 stars on GitHub - 1 maintainer
llvm-tf 12.1.1
40 versions - Latest release: over 2 years ago - 6 dependent packages - 21.8 thousand downloads total - 1 maintainercomfort-graph 0.0.4
13 versions - Latest release: over 2 years ago - 1 dependent package - 16 dependent repositories - 7.11 thousand downloads total - 1 maintaineropentracing-zipkin-v1 0.3.0 💰
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...5 versions - Latest release: over 2 years ago - 500 downloads total - 40 stars on GitHub - 1 maintainer
opentracing-jaeger 0.3.0 💰
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...5 versions - Latest release: over 2 years ago - 821 downloads total - 40 stars on GitHub - 1 maintainer
attoparsec-uri 0.0.9
Please see the README on GitHub at https://github.com/athanclark/attoparsec-uri#readme12 versions - Latest release: over 2 years ago - 2 dependent packages - 2 dependent repositories - 6.88 thousand downloads total - 1 stars on GitHub - 1 maintainer
quickcheck-combinators 0.0.6
Please see the README on GitHub at https://github.com/athanclark/quickcheck-combinators#README7 versions - Latest release: over 2 years ago - 1 dependent package - 10 dependent repositories - 3.75 thousand downloads total - 1 stars on GitHub - 1 maintainer
debian 4.0.5
Haskell library of datatypes related to Debian packaging66 versions - Latest release: over 2 years ago - 2 dependent packages - 40 dependent repositories - 53.1 thousand downloads total - 0 stars on GitHub - 4 maintainers
snail 0.1.2.1
An s-expression parser and abstract syntax tree for a programming language with no semantics. If ...4 versions - Latest release: over 2 years ago - 245 downloads total - 11 stars on GitHub - 1 maintainer
modern-uri 0.3.6.1
Modern library for working with URIs.24 versions - Latest release: over 2 years ago - 11 dependent packages - 54 dependent repositories - 25.7 thousand downloads total - 68 stars on GitHub - 2 maintainers
unicode-tricks 0.14.1.0
A package that makes rendering of frames, blocks, subscript and superscript more convenient.20 versions - Latest release: over 2 years ago - 2 dependent repositories - 3.41 thousand downloads total - 2 stars on GitHub - 1 maintainer
git-repair 1.20230814
20 versions - Latest release: over 2 years ago - 14.1 thousand downloads total - 1 maintainerpandoc-types 1.23.1
64 versions - Latest release: over 2 years ago - 31 dependent packages - 730 dependent repositories - 162 thousand downloads total - 1 maintainertableaux 0.3
This is a simple web-based interactive theorem prover using semantic tableaux for propositional a...3 versions - Latest release: over 2 years ago - 2.13 thousand downloads total - 1 maintainer
colour-space 0.2.1.0
Colours form a manifold, in which inter-/extrapolation is guaranteed to stay in the gamut.9 versions - Latest release: over 2 years ago - 1 dependent repositories - 5.28 thousand downloads total - 1 stars on GitHub - 1 maintainer
manifolds 0.6.1.0
Coordinate-free hypersurfaces as Haskell types25 versions - Latest release: over 2 years ago - 2 dependent packages - 2 dependent repositories - 18.6 thousand downloads total - 41 stars on GitHub - 1 maintainer
ForestStructures 0.0.1.1
This library provides both static and dynamic tree and forest structures. Once a tree structure i...4 versions - Latest release: over 2 years ago - 15 dependent repositories - 3.54 thousand downloads total - 3 stars on GitHub - 1 maintainer
sasha 0.2
A staged lexer generator3 versions - Latest release: over 2 years ago - 224 downloads total - 9 stars on GitHub - 1 maintainer
interval-algebra 2.2.0
Please see the README on GitHub at https://github.com/novisci/interval-algebra42 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 10.1 thousand downloads total - 5 stars on GitHub - 1 maintainer
refined1 0.9.0
For an extensive introduction to the library please follow to this blog-post.1 version - Latest release: almost 3 years ago - 2 dependent packages - 142 downloads total - 0 stars on GitHub - 1 maintainer
comfort-fftw 0.0.0.1
2 versions - Latest release: almost 3 years ago - 2 dependent packages - 6 dependent repositories - 465 downloads total - 1 maintaineratomic-counter 0.1.2
This package defines Counter type that can be safely modified concurrently from multiple threads....7 versions - Latest release: almost 3 years ago - 1 dependent package - 1.14 thousand downloads total - 19 stars on GitHub - 1 maintainer
servant-combinators 0.0.2
Servant covers most of the data in a raw WAI request, but misses a few fields. This library aims ...2 versions - Latest release: almost 3 years ago - 147 downloads total - 2 stars on GitHub - 1 maintainer
safe-gen 1.0.1
Write and derive Arbitrary instances for recursive data without worrying about termination.2 versions - Latest release: almost 3 years ago - 285 downloads total - 11 stars on GitHub - 1 maintainer
aern2-real 0.2.15
Please see the README on GitHub at https://github.com/michalkonecny/aern2/#readme29 versions - Latest release: almost 3 years ago - 1 dependent package - 7 dependent repositories - 8.13 thousand downloads total - 23 stars on GitHub - 1 maintainer
oops 0.2.0.1 💰
9 versions - Latest release: almost 3 years ago - 2 dependent packages - 1 dependent repositories - 873 downloads total - 22 stars on GitHub - 1 maintainerformatn 0.3.0
This package provides support for number formatting styles, especially styles involving significa...12 versions - Latest release: almost 3 years ago - 3 dependent packages - 2 dependent repositories - 1.41 thousand downloads total - 3 stars on GitHub - 1 maintainer
short-vec 0.1.0.1
This provides performant length-indexed vectors with a suite of rewrite rules implementing fusion...2 versions - Latest release: almost 3 years ago - 2 dependent repositories - 407 downloads total - 1 stars on GitHub - 1 maintainer
PropaFP 0.1.2.0
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme3 versions - Latest release: almost 3 years ago - 2 dependent packages - 2 dependent repositories - 290 downloads total - 8 stars on GitHub - 1 maintainer
less-arbitrary 0.1.8.0
Ever found non-terminating Arbitrary instance? Ever wondered what would be a runtime cost of part...11 versions - Latest release: almost 3 years ago - 1 dependent repositories - 1.4 thousand downloads total - 0 stars on GitHub - 1 maintainer
higgledy 0.4.2.1
Use the generic representation of an ADT to get a higher-kinded data-style interface automatically.13 versions - Latest release: almost 3 years ago - 4 dependent repositories - 5.07 thousand downloads total - 170 stars on GitHub - 2 maintainers
wordpass 1.0.0.11
This script reads dict word lists and generates word-based passwords. Not unlike xkcd. Program a...17 versions - Latest release: almost 3 years ago - 121 dependent repositories - 11.5 thousand downloads total - 15 stars on GitHub - 1 maintainer
keelung 0.9.2
Please see the README on GitHub at https://github.com/btq-ag/keelung#readme3 versions - Latest release: almost 3 years ago - 1 dependent repositories - 231 downloads total - 53 stars on GitHub - 1 maintainer
genvalidity-dirforest 0.1.0.1 💰
1 version - Latest release: almost 3 years ago - 1 dependent repositories - 112 downloads total - 2 stars on GitHub - 1 maintainerstorable-record 0.0.7
14 versions - Latest release: almost 3 years ago - 14 dependent packages - 28 dependent repositories - 27.3 thousand downloads total - 1 maintainerlawful-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
servant-serialization 0.2.1
4 versions - Latest release: about 3 years ago - 1 dependent package - 1 dependent repositories - 310 downloads total - 1 maintainermath-programming-tests 0.5.1
4 versions - Latest release: about 3 years ago - 1 dependent repositories - 542 downloads total - 1 maintainerprolude 0.0.0.30
30 versions - Latest release: about 3 years ago - 5.68 thousand downloads total - 2 maintainerssample-frame 0.0.4
4 versions - Latest release: about 3 years ago - 5 dependent packages - 17 dependent repositories - 4.26 thousand downloads total - 1 maintainercss-selectors 0.5.0.0 💰
A library for parsing, manipulating, and rendering css selectors (not css files, just the selecto...8 versions - Latest release: about 3 years ago - 1 dependent repositories - 1.45 thousand downloads total - 2 stars on GitHub - 1 maintainer
skew-list 0.1
Random Access List: Skewed Binary1 version - Latest release: about 3 years ago - 1 dependent package - 164 downloads total - 1 stars on GitHub - 1 maintainer
polysemy-check 0.9.0.1
Please see the README on GitHub at https://github.com/polysemy-research/polysemy-check#readme11 versions - Latest release: about 3 years ago - 2 dependent repositories - 1.61 thousand downloads total - 8 stars on GitHub - 1 maintainer
hashing 0.1.1.0
Haskell hashing library3 versions - Latest release: about 3 years ago - 2 dependent packages - 8 dependent repositories - 3.87 thousand downloads total - 3 stars on GitHub - 1 maintainer
inferno-vc 0.1.0
A statically-typed functional scripting language1 version - Latest release: about 3 years ago - 1 dependent package - 1 dependent repositories - 132 downloads total - 4 stars on GitHub - 1 maintainer
inferno-types 0.1.0.0
A statically-typed functional scripting language1 version - Latest release: about 3 years ago - 3 dependent packages - 1 dependent repositories - 123 downloads total - 4 stars on GitHub - 1 maintainer
chez-grater 0.1.2
7 versions - Latest release: about 3 years ago - 1 dependent package - 1 dependent repositories - 570 downloads total - 37 stars on GitHub - 1 maintaineralgebra-checkers 0.1.0.1
Please see the README on GitHub at https://github.com/isovector/algebra-checkers#readme2 versions - Latest release: about 3 years ago - 1 dependent repositories - 468 downloads total - 34 stars on GitHub - 1 maintainer
lambdabot-haskell-plugins 5.3.1
16 versions - Latest release: over 3 years ago - 1 dependent package - 15 dependent repositories - 9.55 thousand downloads total - 3 maintainerslambdabot-trusted 5.3.1
13 versions - Latest release: over 3 years ago - 1 dependent package - 14 dependent repositories - 7.49 thousand downloads total - 3 maintainersgenvalidity-appendful 0.1.0.0 💰
Merge-less syncing of arbitrary immutable items without deletions2 versions - Latest release: over 3 years ago - 3 dependent repositories - 353 downloads total - 3 stars on GitHub - 1 maintainer
cabal-detailed-quickcheck 0.2.0.1
Turn QuickCheck properties into detailed Cabal tests16 versions - Latest release: over 3 years ago - 1.27 thousand downloads total - 0 stars on GitHub - 1 maintainer
Check this option to include packages that no longer depend on this package in their latest version but previously did.