Ecosyste.ms: Packages

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
purl: pkg:hackage/QuickCheck
Keywords: bsd3, library, testing
License: BSD-3-Clause
Latest release: about 1 year ago
First release: over 17 years ago
Dependent packages: 246
Dependent repositories: 7,326
Downloads: 434,048 total
Stars: 691 on GitHub
Forks: 117 on GitHub
Docker dependents: 3
Docker downloads: 292
Total Commits: 974
Committers: 72
Average commits per author: 13.528
Development Distribution Score (DDS): 0.706
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 2 days ago

keystore 0.9.0.2
storing secret things
30 versions - Latest release: 8 months ago - 1 dependent package - 19 thousand downloads total - 11 stars on GitHub - 1 maintainer
genvalidity-mergeful 0.3.0.1 💰
Safely synchronise values with safe merge conflicts.
5 versions - Latest release: 8 months ago - 2 dependent repositories - 1.36 thousand downloads total - 8 stars on GitHub - 1 maintainer
Top 4.1% on hackage.haskell.org
polysemy 1.9.1.3
Please see the README on GitHub at https://github.com/polysemy-research/polysemy#readme
34 versions - Latest release: 8 months ago - 36 dependent packages - 87 dependent repositories - 18.3 thousand downloads total - 1,025 stars on GitHub - 4 maintainers
Top 9.1% on hackage.haskell.org
non-empty 0.3.5
14 versions - Latest release: 8 months ago - 25 dependent packages - 21 dependent repositories - 10.4 thousand downloads total - 1 maintainer
Top 4.2% on hackage.haskell.org
Agda 2.6.4
Agda is a dependently typed functional programming language: It has inductive families, which are...
42 versions - Latest release: 8 months ago - 6 dependent packages - 61 dependent repositories - 60.6 thousand downloads total - 4 maintainers
Top 0.3% on hackage.haskell.org
aeson 2.2.1.0
A JSON parsing and encoding library optimized for ease of use and high performance. To get start...
97 versions - Latest release: 8 months ago - 720 dependent packages - 10,280 dependent repositories - 588 thousand downloads total - 1,226 stars on GitHub - 6 maintainers
genvalidity-unordered-containers 1.0.0.1 💰
Validity and validity-based testing
10 versions - Latest release: 8 months ago - 8 dependent repositories - 4.88 thousand downloads total - 155 stars on GitHub - 1 maintainer
genvalidity-sydtest-hashable 1.0.0.1 💰
Validity and validity-based testing
3 versions - Latest release: 8 months ago - 2 dependent repositories - 517 downloads total - 155 stars on GitHub - 1 maintainer
genvalidity-persistent 1.0.0.2 💰
Validity and validity-based testing
4 versions - Latest release: 8 months ago - 15 dependent repositories - 559 downloads total - 155 stars on GitHub - 1 maintainer
Top 7.9% on hackage.haskell.org
genvalidity-hspec 1.0.0.3 💰
Validity and validity-based testing
30 versions - Latest release: 8 months ago - 2 dependent packages - 28 dependent repositories - 16.8 thousand downloads total - 155 stars on GitHub - 1 maintainer
genvalidity-hspec-hashable 1.0.0.1 💰
Validity and validity-based testing
10 versions - Latest release: 8 months ago - 7 dependent repositories - 4.52 thousand downloads total - 155 stars on GitHub - 1 maintainer
sydtest 0.15.1.1 💰
A modern testing framework for Haskell with good defaults and advanced testing features.
33 versions - Latest release: 8 months ago - 14 dependent packages - 27 dependent repositories - 4.03 thousand downloads total - 107 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: 8 months ago - 3 dependent packages - 2 dependent repositories - 3.99 thousand downloads total - 1 stars on GitHub - 1 maintainer
llvm-tf 12.1.1
38 versions - Latest release: 8 months ago - 6 dependent packages - 20.5 thousand downloads total - 1 maintainer
Top 0.9% on hackage.haskell.org
servant 0.20.1
49 versions - Latest release: 8 months ago - 108 dependent packages - 711 dependent repositories - 81.5 thousand downloads total - 12 maintainers
Top 4.1% on hackage.haskell.org
inline-c 0.9.1.10
See https://github.com/fpco/inline-c/blob/master/README.md.
49 versions - Latest release: 8 months ago - 16 dependent packages - 74 dependent repositories - 36.4 thousand downloads total - 3 maintainers
comfort-graph 0.0.4
12 versions - Latest release: 8 months ago - 1 dependent package - 16 dependent repositories - 6.63 thousand downloads total - 1 maintainer
opentracing-zipkin-v1 0.3.0 💰
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...
4 versions - Latest release: 8 months ago - 339 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...
4 versions - Latest release: 8 months ago - 586 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: 8 months ago - 2 dependent packages - 2 dependent repositories - 6.41 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: 9 months ago - 1 dependent package - 10 dependent repositories - 3.5 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: 9 months ago - 2 dependent packages - 40 dependent repositories - 51 thousand downloads total - 0 stars on GitHub - 4 maintainers
Top 1.8% on hackage.haskell.org
tasty-quickcheck 0.10.3
Modern and extensible testing framework for Haskell
21 versions - Latest release: 9 months ago - 13 dependent packages - 1,611 dependent repositories - 73.3 thousand downloads total - 633 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: 9 months ago - 88 downloads total - 12 stars on GitHub - 1 maintainer
net-mqtt 0.8.6.0
Please see the README on GitHub at https://github.com/dustin/mqtt-hs#readme
39 versions - Latest release: 10 months ago - 1 dependent package - 7 dependent repositories - 13.3 thousand downloads total - 39 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: 10 months ago - 11 dependent packages - 54 dependent repositories - 23.6 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: 10 months ago - 2 dependent repositories - 2.88 thousand downloads total - 2 stars on GitHub - 1 maintainer
mixed-types-num 0.5.12
Please see the README on GitHub at https://github.com/michalkonecny/mixed-types-num#readme
36 versions - Latest release: 10 months ago - 4 dependent packages - 18 dependent repositories - 13.8 thousand downloads total - 2 stars on GitHub - 1 maintainer
git-repair 1.20230814
20 versions - Latest release: 10 months ago - 13.3 thousand downloads total - 1 maintainer
orthotope 0.1.6.0
Multidimensional arrays inspired by APL. The library contains a wide variety of structural operat...
8 versions - Latest release: 10 months ago - 3 dependent repositories - 669 downloads total - 1 maintainer
Top 0.9% on hackage.haskell.org
pandoc-types 1.23.1
63 versions - Latest release: 10 months ago - 31 dependent packages - 730 dependent repositories - 156 thousand downloads total - 1 maintainer
Z-Data 2.0.0.2
This package provides array, slice and text operations
49 versions - Latest release: 10 months ago - 3 dependent packages - 3 dependent repositories - 16.2 thousand downloads total - 71 stars on GitHub - 2 maintainers
lorentz 0.16.0
Lorentz is a powerful meta-programming tool which allows one to write Michelson contracts directl...
28 versions - Latest release: 10 months ago - 3 dependent packages - 11 dependent repositories - 4.96 thousand downloads total - 18 stars on GitLab.com - 3 maintainers
morley 1.20.0
A library to make writing smart contracts in Michelson — the smart contract language of the Tezos...
45 versions - Latest release: 10 months ago - 5 dependent packages - 13 dependent repositories - 13.8 thousand downloads total - 18 stars on GitLab.com - 3 maintainers
hypertypes 0.2.2 💰
Please see the README on GitHub at https://github.com/lamdu/hypertypes#readme
3 versions - Latest release: 11 months ago - 1 dependent repositories - 375 downloads total - 106 stars on GitHub - 1 maintainer
tableaux 0.3
This is a simple web-based interactive theorem prover using semantic tableaux for propositional a...
3 versions - Latest release: 11 months ago - 2 thousand downloads total - 1 maintainer
hsini 0.5.2
15 versions - Latest release: 11 months ago - 1 dependent package - 8 dependent repositories - 13.2 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: 11 months ago - 1 dependent repositories - 4.91 thousand downloads total - 1 stars on GitHub - 1 maintainer
manifolds 0.6.1.0
Coordinate-free hypersurfaces as Haskell types
25 versions - Latest release: 11 months ago - 2 dependent packages - 2 dependent repositories - 17.6 thousand downloads total - 39 stars on GitHub - 1 maintainer
belgian-structured-communication 0.1.0.0
A package that exports a StructuredCommunication data type that can render and manipulate structu...
1 version - Latest release: 12 months ago - 56 downloads total - 0 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: 12 months ago - 15 dependent repositories - 3.26 thousand downloads total - 3 stars on GitHub - 1 maintainer
sasha 0.2
A staged lexer generator
3 versions - Latest release: about 1 year ago - 124 downloads total - 8 stars on GitHub - 1 maintainer
word8set 0.1.1
Word8 set
3 versions - Latest release: about 1 year ago - 1 dependent package - 86 downloads total - 1 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: about 1 year ago - 1 dependent package - 1 dependent repositories - 8.43 thousand downloads total - 4 stars on GitHub - 1 maintainer
linearmap-category 0.6.0.1
Purely-functional, coordinate-free linear algebra
16 versions - Latest release: about 1 year ago - 3 dependent packages - 3 dependent repositories - 6.08 thousand downloads total - 26 stars on GitHub - 1 maintainer
mandrill 0.5.7.0
28 versions - Latest release: about 1 year ago - 138 dependent repositories - 16.7 thousand downloads total - 2 maintainers
refined1 0.9.0
For an extensive introduction to the library please follow to this blog-post.
1 version - Latest release: about 1 year ago - 2 dependent packages - 82 downloads total - 0 stars on GitHub - 1 maintainer
Top 1.8% on hackage.haskell.org
utility-ht 0.0.17
20 versions - Latest release: about 1 year ago - 69 dependent packages - 148 dependent repositories - 47.8 thousand downloads total - 1 maintainer
comfort-fftw 0.0.0.1
2 versions - Latest release: about 1 year ago - 2 dependent packages - 6 dependent repositories - 334 downloads total - 1 maintainer
atomic-counter 0.1.2
This package defines Counter type that can be safely modified concurrently from multiple threads....
4 versions - Latest release: about 1 year ago - 1 dependent package - 331 downloads total - 17 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: about 1 year ago - 80 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: about 1 year ago - 154 downloads total - 11 stars on GitHub - 1 maintainer
sandwich-quickcheck 0.1.0.7
Yet another test framework for Haskell.
5 versions - Latest release: about 1 year ago - 1 dependent package - 6 dependent repositories - 790 downloads total - 69 stars on GitHub - 1 maintainer
aern2-real 0.2.15
Please see the README on GitHub at https://github.com/michalkonecny/aern2/#readme
26 versions - Latest release: about 1 year ago - 1 dependent package - 7 dependent repositories - 6.83 thousand downloads total - 21 stars on GitHub - 1 maintainer
oops 0.2.0.1 💰
9 versions - Latest release: about 1 year ago - 2 dependent packages - 1 dependent repositories - 457 downloads total - 22 stars on GitHub - 1 maintainer
formatn 0.3.0
Text formatting of Doubles
7 versions - Latest release: about 1 year ago - 3 dependent packages - 2 dependent repositories - 769 downloads total - 2 stars on GitHub - 1 maintainer
bin 0.1.3
Nat, Fin, Vec
4 versions - Latest release: about 1 year ago - 1 dependent package - 6 dependent repositories - 7.26 thousand downloads total - 23 stars on GitHub - 1 maintainer
telegram-bot-simple 0.11.1
Please see the README on Github at https://github.com/fizruk/telegram-bot-simple#readme
32 versions - Latest release: about 1 year ago - 2 dependent packages - 19 dependent repositories - 3.79 thousand downloads total - 105 stars on GitHub - 2 maintainers
step-function 0.2.0.1
Step functions, staircase functions or piecewise constant functions. Implemented as a default val...
8 versions - Latest release: about 1 year ago - 7 dependent repositories - 5.55 thousand downloads total - 3 stars on GitHub - 2 maintainers
Z-IO 1.0.2.0
Simple and high performance IO toolkit for Haskell, including file system, network, ipc and more!
34 versions - Latest release: about 1 year ago - 3 dependent packages - 2 dependent repositories - 9.63 thousand downloads total - 97 stars on GitHub - 2 maintainers
short-vec 0.1.0.1
This provides performant length-indexed vectors with a suite of rewrite rules implementing fusion...
2 versions - Latest release: about 1 year ago - 2 dependent repositories - 297 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: about 1 year ago - 2 dependent packages - 2 dependent repositories - 152 downloads total - 6 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: about 1 year ago - 1 dependent repositories - 1.03 thousand downloads total - 0 stars on GitHub - 1 maintainer
numhask-array 0.10.2
higher-kinded numbers
23 versions - Latest release: about 1 year ago - 2 dependent packages - 7 dependent repositories - 6.95 thousand downloads total - 5 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: about 1 year ago - 4 dependent repositories - 4.44 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: about 1 year ago - 121 dependent repositories - 11.1 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: over 1 year ago - 1 dependent repositories - 118 downloads total - 44 stars on GitHub - 1 maintainer
genvalidity-dirforest 0.1.0.1 💰
1 version - Latest release: over 1 year ago - 1 dependent repositories - 60 downloads total - 2 stars on GitHub - 1 maintainer
Top 5.8% on hackage.haskell.org
storable-record 0.0.7
14 versions - Latest release: over 1 year ago - 14 dependent packages - 28 dependent repositories - 25.6 thousand downloads total - 1 maintainer
thyme 0.3.6
thyme is a performance-optimized rewrite of the excellent time library. See Data.Thyme.Docs for ...
26 versions - Latest release: over 1 year ago - 2 dependent packages - 168 dependent repositories - 25.8 thousand downloads total - 1 stars on GitHub - 5 maintainers
lawful-classes-quickcheck 0.1.2.1
Support code to check lawful-classes laws using QuickCheck and, optionally, Tasty.
5 versions - Latest release: over 1 year ago - 174 downloads total - 0 stars on GitHub - 1 maintainer
servant-serialization 0.2.1
4 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 147 downloads total - 1 maintainer
math-programming-tests 0.5.1
4 versions - Latest release: over 1 year ago - 1 dependent repositories - 377 downloads total - 1 maintainer
prolude 0.0.0.30
30 versions - Latest release: over 1 year ago - 4.61 thousand downloads total - 2 maintainers
bv-sized 1.0.5
This module defines a width-parameterized bitvector type and various associated operations.
16 versions - Latest release: over 1 year ago - 9 dependent packages - 21 dependent repositories - 11.2 thousand downloads total - 6 stars on GitHub - 4 maintainers
Top 5.2% on hackage.haskell.org
reactive-banana 1.3.2.0
45 versions - Latest release: over 1 year ago - 5 dependent packages - 66 dependent repositories - 33.8 thousand downloads total - 3 maintainers
Top 5.9% on hackage.haskell.org
hjsmin 0.2.1
Reduces size of javascript files by stripping out extraneous whitespace and other syntactic eleme...
39 versions - Latest release: over 1 year ago - 2 dependent packages - 918 dependent repositories - 61.5 thousand downloads total - 27 stars on GitHub - 3 maintainers
sample-frame 0.0.4
4 versions - Latest release: over 1 year ago - 5 dependent packages - 17 dependent repositories - 3.96 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: over 1 year ago - 1 dependent repositories - 1.19 thousand downloads total - 2 stars on GitHub - 1 maintainer
skew-list 0.1
Random Access List: Skewed Binary
1 version - Latest release: over 1 year ago - 1 dependent package - 66 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: over 1 year ago - 2 dependent repositories - 1.23 thousand downloads total - 8 stars on GitHub - 1 maintainer
essence-of-live-coding-quickcheck 0.2.7
11 versions - Latest release: over 1 year ago - 6 dependent repositories - 1.93 thousand downloads total - 1 maintainer
roboservant 0.1.0.3
Please see the README on GitHub at https://github.com/mwotton/roboservant#readme
4 versions - Latest release: over 1 year ago - 2 dependent repositories - 521 downloads total - 26 stars on GitHub - 2 maintainers
hashing 0.1.1.0
Haskell hashing library
3 versions - Latest release: over 1 year ago - 2 dependent packages - 8 dependent repositories - 3.54 thousand downloads total - 3 stars on GitHub - 1 maintainer
inferno-vc 0.1.0
A statically-typed functional scripting language
1 version - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 65 downloads total - 4 stars on GitHub - 1 maintainer
inferno-types 0.1.0.0
A statically-typed functional scripting language
1 version - Latest release: over 1 year ago - 3 dependent packages - 1 dependent repositories - 63 downloads total - 4 stars on GitHub - 1 maintainer
chez-grater 0.1.2
7 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 330 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: over 1 year ago - 1 dependent repositories - 374 downloads total - 34 stars on GitHub - 1 maintainer
lambdabot 5.3.1
Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel. It oper...
28 versions - Latest release: over 1 year ago - 1 dependent package - 13 dependent repositories - 19 thousand downloads total - 6 maintainers
lambdabot-haskell-plugins 5.3.1
16 versions - Latest release: over 1 year ago - 1 dependent package - 15 dependent repositories - 8.97 thousand downloads total - 3 maintainers
lambdabot-trusted 5.3.1
13 versions - Latest release: over 1 year ago - 1 dependent package - 14 dependent repositories - 6.84 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 1 year ago - 3 dependent repositories - 234 downloads total - 2 stars on GitHub - 1 maintainer
cabal-detailed-quickcheck 0.2.0.1
Turn QuickCheck properties into detailed Cabal tests
16 versions - Latest release: over 1 year ago - 676 downloads total - 1 stars on GitHub - 1 maintainer
hanabi-dealer 0.15.1.1
23 versions - Latest release: over 1 year ago - 1 dependent package - 6.46 thousand downloads total - 1 maintainer
flat 0.5.2
Reference implementation of flat, a principled and efficient binary serialization format.
11 versions - Latest release: over 1 year ago - 2 dependent packages - 46 dependent repositories - 7.41 thousand downloads total - 1 maintainer
propellor 5.14.1
Propellor ensures that the system it's run in satisfies a list of properties, taking action as ne...
131 versions - Latest release: over 1 year ago - 1 dependent package - 5 dependent repositories - 83.9 thousand downloads total - 1 maintainer
camfort 1.2.0
19 versions - Latest release: over 1 year ago - 1 dependent package - 8 dependent repositories - 10.2 thousand downloads total - 4 maintainers
EdisonCore 1.3.3
13 versions - Latest release: over 1 year ago - 1 dependent package - 16 dependent repositories - 22.8 thousand downloads total - 2 maintainers
Top 7.9% on hackage.haskell.org
tree-diff 0.2.2
Common diff algorithm works on list structures: This package works on trees. This package also ...
13 versions - Latest release: almost 2 years ago - 5 dependent packages - 33 dependent repositories - 25.7 thousand downloads total - 73 stars on GitHub - 1 maintainer
Top 0.6% on hackage.haskell.org
yesod-core 1.6.23
API docs and the README are available at http://www.stackage.org/package/yesod-core
216 versions - Latest release: about 2 years ago - 23 dependent packages - 1,191 dependent repositories - 220 thousand downloads total - 7 maintainers