An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 0.9% on hackage.haskell.org
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 operations
50 versions - Latest release: over 1 year ago - 3 dependent packages - 3 dependent repositories - 17.4 thousand downloads total - 70 stars on GitHub - 2 maintainers
Top 0.3% on hackage.haskell.org
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, Vec
10 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, Vec
4 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, Vec
5 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 set
3 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 maintainer
comfort-array 0.5.5
23 versions - Latest release: over 1 year ago - 13 dependent packages - 6 dependent repositories - 7.8 thousand downloads total - 1 maintainer
cornelis 0.2.0.1
Please see the README on GitHub at https://github.com/isovector/cornelis#readme
2 versions - Latest release: almost 2 years ago - 1 dependent package - 138 downloads total - 168 stars on GitHub - 1 maintainer
Top 7.4% on hackage.haskell.org
lattices 2.2.1
Fine-grained lattice primitives for Haskell
20 versions - Latest release: almost 2 years ago - 9 dependent packages - 128 dependent repositories - 25.8 thousand downloads total - 37 stars on GitHub - 2 maintainers
Top 7.3% on hackage.haskell.org
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 framework
2 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
Top 9.2% on hackage.haskell.org
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 maintainer
collect-errors 0.1.6.0
Please see the README on GitHub at https://github.com/michalkonecny/collect-errors#readme
8 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 sessions
3 versions - Latest release: almost 2 years ago - 1 dependent package - 202 downloads total - 2 stars on GitHub - 6 maintainers
Top 6.9% on hackage.haskell.org
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 maintainer
proto3-suite 0.7.0
9 versions - Latest release: almost 2 years ago - 1 dependent package - 7 dependent repositories - 4.09 thousand downloads total - 5 maintainers
GenSmsPdu 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 maintainers
ansi-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 maintainer
happy-arbitrary 0.0.1
1 version - Latest release: about 2 years ago - 79 downloads total - 1 maintainer
hls-eval-plugin 2.6.0.0
Please see the README on GitHub at https://github.com/haskell/haskell-language-server#readme
26 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#README
18 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 maintainer
servant-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 maintainer
highs-lp 0.0
1 version - Latest release: about 2 years ago - 88 downloads total - 1 maintainer
tahoe-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 maintainers
github-tools 0.1.2
3 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 1.85 thousand downloads total - 1 maintainer
disco 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
Top 8.2% on hackage.haskell.org
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
Top 8.8% on hackage.haskell.org
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 maintainers
Chart-tests 1.9.4
A 2D charting library for haskell
2 versions - Latest release: over 2 years ago - 614 downloads total - 438 stars on GitHub - 1 maintainer
Top 6.8% on hackage.haskell.org
compdata 0.13.1
32 versions - Latest release: over 2 years ago - 1 dependent package - 134 dependent repositories - 27.9 thousand downloads total - 1 maintainer
genvalidity-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
Top 9.1% on hackage.haskell.org
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 maintainer
genvalidity-unordered-containers 1.0.0.1 💰
Validity and validity-based testing
10 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 testing
3 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 testing
4 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 testing
10 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 maintainer
comfort-graph 0.0.4
13 versions - Latest release: over 2 years ago - 1 dependent package - 16 dependent repositories - 7.11 thousand downloads total - 1 maintainer
opentracing-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#readme
12 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#README
7 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 packaging
66 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
Top 7.0% on hackage.haskell.org
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 maintainer
Top 0.9% on hackage.haskell.org
pandoc-types 1.23.1
64 versions - Latest release: over 2 years ago - 31 dependent packages - 730 dependent repositories - 162 thousand downloads total - 1 maintainer
tableaux 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 types
25 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 generator
3 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-algebra
42 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 maintainer
atomic-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/#readme
29 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 maintainer
formatn 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#readme
3 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#readme
3 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 maintainer
Top 5.8% on hackage.haskell.org
storable-record 0.0.7
14 versions - Latest release: almost 3 years ago - 14 dependent packages - 28 dependent repositories - 27.3 thousand downloads total - 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
servant-serialization 0.2.1
4 versions - Latest release: about 3 years ago - 1 dependent package - 1 dependent repositories - 310 downloads total - 1 maintainer
math-programming-tests 0.5.1
4 versions - Latest release: about 3 years ago - 1 dependent repositories - 542 downloads total - 1 maintainer
prolude 0.0.0.30
30 versions - Latest release: about 3 years ago - 5.68 thousand downloads total - 2 maintainers
sample-frame 0.0.4
4 versions - Latest release: about 3 years ago - 5 dependent packages - 17 dependent repositories - 4.26 thousand downloads total - 1 maintainer
css-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 Binary
1 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#readme
11 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 library
3 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 language
1 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 language
1 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 maintainer
algebra-checkers 0.1.0.1
Please see the README on GitHub at https://github.com/isovector/algebra-checkers#readme
2 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 maintainers
lambdabot-trusted 5.3.1
13 versions - Latest release: over 3 years ago - 1 dependent package - 14 dependent repositories - 7.49 thousand downloads total - 3 maintainers
genvalidity-appendful 0.1.0.0 💰
Merge-less syncing of arbitrary immutable items without deletions
2 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 tests
16 versions - Latest release: over 3 years ago - 1.27 thousand downloads total - 0 stars on GitHub - 1 maintainer
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.