Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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: 12 months ago
First release: over 17 years ago
Dependent packages: 246
Dependent repositories: 7,326
Downloads: 433,534 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: 4 days ago
servant 0.20.1
49 versions - Latest release: 8 months ago - 108 dependent packages - 711 dependent repositories - 81.3 thousand downloads total - 11 maintainersxmonad 0.18.0
xmonad is a tiling window manager for X. Windows are arranged automatically to tile the screen wi...26 versions - Latest release: 4 months ago - 4 dependent packages - 193 dependent repositories - 52.2 thousand downloads total - 10 maintainers
servant-swagger 1.1.11 💰
Swagger is a project used to describe and document RESTful APIs. The core of the project is the O...25 versions - Latest release: about 2 years ago - 8 dependent packages - 87 dependent repositories - 30 thousand downloads total - 1,778 stars on GitHub - 9 maintainers
darcs 2.18.2
Darcs is a free, open source revision control system. It is: Distributed: Darcs was one of the f...44 versions - Latest release: about 2 months ago - 1 dependent package - 15 dependent repositories - 51.1 thousand downloads total - 8 maintainers
lsp-types 2.2.0.0
An implementation of the types to allow language implementors to support the Language Server Prot...19 versions - Latest release: 20 days ago - 26 dependent packages - 34 dependent repositories - 13.8 thousand downloads total - 354 stars on GitHub - 7 maintainers
yesod-core 1.6.23
API docs and the README are available at http://www.stackage.org/package/yesod-core216 versions - Latest release: about 2 years ago - 23 dependent packages - 1,191 dependent repositories - 220 thousand downloads total - 7 maintainers
liquidhaskell 0.8.10.7.1
Liquid Types for Haskell.36 versions - Latest release: about 2 months ago - 10 dependent packages - 21 dependent repositories - 23.9 thousand downloads total - 1,153 stars on GitHub - 7 maintainers
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 - 18.9 thousand downloads total - 6 maintainers
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
hls-eval-plugin 2.6.0.0
Please see the README on GitHub at https://github.com/haskell/haskell-language-server#readme26 versions - Latest release: 4 months ago - 1 dependent package - 6.31 thousand downloads total - 6 maintainers
hpqtypes 1.5.1
Efficient and easy-to-use bindings to (slightly modified) libpqtypes, a libpq extension that adds...40 versions - Latest release: almost 8 years ago - 5 dependent packages - 20 dependent repositories - 21.4 thousand downloads total - 18 stars on GitHub - 5 maintainers
graphula 2.1.0.0
Please see README.md10 versions - Latest release: 5 months ago - 9 dependent repositories - 1.58 thousand downloads total - 45 stars on GitHub - 5 maintainers
proto3-wire 1.4.2
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...9 versions - Latest release: about 1 month ago - 1 dependent package - 11 dependent repositories - 7.18 thousand downloads total - 5 maintainers
yesod-session-persist 0.0.0.2
Use Persistent to store Yesod sessions3 versions - Latest release: 3 months ago - 1 dependent package - 75 downloads total - 1 stars on GitHub - 5 maintainers
stackctl 1.7.0.0
Please see https://github.com/freckle/stackctl#readme32 versions - Latest release: 12 days ago - 1 dependent package - 1 dependent repositories - 916 downloads total - 13 stars on GitHub - 5 maintainers
Crypto 4.2.5
10 versions - Latest release: about 12 years ago - 5 dependent packages - 41 dependent repositories - 20.6 thousand downloads total - 5 maintainersthyme 0.3.6
thyme is a performance-optimized rewrite of the excellent time library. See Data.Thyme.Docs for ...26 versions - Latest release: about 1 year ago - 2 dependent packages - 168 dependent repositories - 25.7 thousand downloads total - 1 stars on GitHub - 5 maintainers
proto3-suite 0.7.0
9 versions - Latest release: 3 months ago - 1 dependent package - 7 dependent repositories - 3.62 thousand downloads total - 5 maintainersswagger2 2.8.8
This library is intended to be used for decoding and encoding Swagger 2.0 API specifications as w...42 versions - Latest release: 4 months ago - 17 dependent packages - 215 dependent repositories - 42.4 thousand downloads total - 72 stars on GitHub - 4 maintainers
freckle-app 1.15.4.0
Please see README.md69 versions - Latest release: 3 days ago - 2 dependent repositories - 3.38 thousand downloads total - 5 stars on GitHub - 4 maintainers
MissingH 1.1.0
31 versions - Latest release: about 15 years ago - 23 dependent packages - 588 dependent repositories - 74.8 thousand downloads total - 4 maintainerstasty-quickcheck 0.10.3
Modern and extensible testing framework for Haskell21 versions - Latest release: 8 months ago - 13 dependent packages - 1,611 dependent repositories - 73.2 thousand downloads total - 628 stars on GitHub - 4 maintainers
debian 4.0.5
Haskell library of datatypes related to Debian packaging66 versions - Latest release: 8 months ago - 2 dependent packages - 40 dependent repositories - 51 thousand downloads total - 0 stars on GitHub - 4 maintainers
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
polysemy 1.9.1.3
Please see the README on GitHub at https://github.com/polysemy-research/polysemy#readme33 versions - Latest release: 7 months ago - 36 dependent packages - 87 dependent repositories - 18.2 thousand downloads total - 1,025 stars on GitHub - 4 maintainers
copilot-c99 3.19.1
This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-...39 versions - Latest release: 12 days ago - 5 dependent packages - 5 dependent repositories - 14.5 thousand downloads total - 4 maintainers
mueval 0.9.4
Mueval is a Haskell interpreter. It uses the GHC API to evaluate arbitrary Haskell expressions. I...25 versions - Latest release: 6 months ago - 3 dependent packages - 22 dependent repositories - 26.7 thousand downloads total - 75 stars on GitHub - 4 maintainers
camfort 1.2.0
19 versions - Latest release: over 1 year ago - 1 dependent package - 8 dependent repositories - 10.1 thousand downloads total - 4 maintainersbv-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.1 thousand downloads total - 6 stars on GitHub - 4 maintainers
string-variants 0.3.1.0
Newtypes over Text, allowing for safer application code by eliminating edge cases9 versions - Latest release: 3 months ago - 1 dependent package - 2 dependent repositories - 503 downloads total - 4 stars on GitHub - 4 maintainers
hspec-core 2.11.8
90 versions - Latest release: 27 days ago - 18 dependent packages - 309 dependent repositories - 168 thousand downloads total - 3 maintainerstls 2.0.5
TLS/SSL implementation in haskell104 versions - Latest release: 28 days ago - 53 dependent packages - 313 dependent repositories - 290 thousand downloads total - 402 stars on GitHub - 3 maintainers
beam-automigrate 0.1.6.0
This package offers an alternative to beam-migrate and can be used to migrate a database between ...8 versions - Latest release: 4 months ago - 1 dependent package - 2 dependent repositories - 855 downloads total - 3 maintainers
hspec-meta 2.11.8
60 versions - Latest release: 27 days ago - 141 dependent repositories - 53.9 thousand downloads total - 3 maintainersthese 1.2.1
An either-or-both data type, with corresponding hybrid error/writer monad transformer.25 versions - Latest release: 3 days ago - 43 dependent packages - 110 dependent repositories - 57.6 thousand downloads total - 115 stars on GitHub - 3 maintainers
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.3 thousand downloads total - 3 maintainers
hspec 2.11.8
161 versions - Latest release: 27 days ago - 62 dependent packages - 6,550 dependent repositories - 283 thousand downloads total - 3 maintainersstrict-base-types 0.6.1
12 versions - Latest release: over 6 years ago - 2 dependent packages - 23 dependent repositories - 10.1 thousand downloads total - 8 stars on GitHub - 3 maintainersIOSpec 0.3.1
This package consists of several modules, that give a pure specification of functions in the IO m...13 versions - Latest release: over 5 years ago - 2 dependent packages - 18 dependent repositories - 13.4 thousand downloads total - 7 stars on GitHub - 3 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.85 thousand downloads total - 18 stars on GitLab.com - 3 maintainers
megaparsec 9.6.1
This is an industrial-strength monadic parser combinator library. Megaparsec is a feature-rich pa...44 versions - Latest release: 7 months ago - 163 dependent packages - 967 dependent repositories - 100 thousand downloads total - 890 stars on GitHub - 3 maintainers
alex 3.2.7
Alex is a tool for generating lexical analysers in Haskell. It takes a description of tokens base...39 versions - Latest release: over 2 years ago - 190 dependent repositories - 164 thousand downloads total - 3 maintainers
hevm 0.53.0
symbolic EVM evaluator24 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 4.14 thousand downloads total - 214 stars on GitHub - 3 maintainers
cryptol 3.1.0
21 versions - Latest release: 3 months ago - 1 dependent package - 93 dependent repositories - 13.5 thousand downloads total - 3 maintainersproto-lens-arbitrary 0.1.2.13
API for protocol buffers using modern Haskell language and library patterns.21 versions - Latest release: about 1 month ago - 21 dependent repositories - 9.48 thousand downloads total - 446 stars on GitHub - 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.7 thousand downloads total - 18 stars on GitLab.com - 3 maintainers
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.3 thousand downloads total - 27 stars on GitHub - 3 maintainers
hackport 0.6.7
A command line tool to generate Gentoo ebuilds from Hackage packages.60 versions - Latest release: over 3 years ago - 1 dependent package - 34.3 thousand downloads total - 51 stars on GitHub - 3 maintainers
graphviz 2009.5.1
This library provides bindings for the Dot language used by the Graphviz (http://graphviz.org/) s...50 versions - Latest release: about 15 years ago - 14 dependent packages - 192 dependent repositories - 70.3 thousand downloads total - 64 stars on GitHub - 3 maintainers
HTF 0.11.2
The Haskell Test Framework (HTF for short) lets you define and organize unit tests, QuickCheck pr...65 versions - Latest release: over 10 years ago - 1 dependent package - 235 dependent repositories - 67.7 thousand downloads total - 50 stars on GitHub - 3 maintainers
reactive-banana 1.3.2.0
45 versions - Latest release: over 1 year ago - 5 dependent packages - 66 dependent repositories - 33.7 thousand downloads total - 3 maintainerstasty-hspec 1.1.7
This package provides a Tasty provider for Hspec test suites.21 versions - Latest release: about 3 years ago - 349 dependent repositories - 25.6 thousand downloads total - 14 stars on GitHub - 3 maintainers
lambdabot-haskell-plugins 5.3.1
16 versions - Latest release: over 1 year ago - 1 dependent package - 15 dependent repositories - 8.92 thousand downloads total - 3 maintainerslambdabot-trusted 5.3.1
13 versions - Latest release: over 1 year ago - 1 dependent package - 14 dependent repositories - 6.84 thousand downloads total - 3 maintainershttp-types 0.12.4
Types and functions to describe and handle HTTP concepts. Including "methods", "headers", "query ...46 versions - Latest release: 6 months ago - 257 dependent packages - 3,916 dependent repositories - 248 thousand downloads total - 0 stars on GitHub - 2 maintainers
ShellCheck 0.10.0
The goals of ShellCheck are: To point out and clarify typical beginner's syntax issues, that cau...25 versions - Latest release: 2 months ago - 3 dependent packages - 53 dependent repositories - 48.1 thousand downloads total - 2 maintainers
blockfrost-api 0.10.0.0
Core types and Servant API description15 versions - Latest release: 3 months ago - 3 dependent packages - 4 dependent repositories - 2.44 thousand downloads total - 27 stars on GitHub - 2 maintainers
GenSmsPdu 0.2.0.0
2 versions - Latest release: 3 months ago - 1 dependent package - 1.4 thousand downloads total - 0 stars on GitHub - 2 maintainersio-sim 1.5.0.0
A pure simulator monad with support of concurency (base & async style), stm, synchronous and asyn...9 versions - Latest release: 3 days ago - 22 dependent repositories - 2.02 thousand downloads total - 2 maintainers
basic-sop 0.3.0
11 versions - Latest release: 6 months ago - 1 dependent repositories - 7.89 thousand downloads total - 2 maintainersquickcheck-lockstep 0.5.0
Lockstep-style testing is a particular approach for blackbox testing of stateful APIs: we generat...7 versions - Latest release: about 2 months ago - 1 dependent repositories - 369 downloads total - 2 maintainers
tahoe-great-black-swamp-testing 0.5.0.0
1 version - Latest release: 5 months ago - 30 downloads total - 0 stars on GitLab.com - 2 maintainersLambdaHack 0.2.14
LambdaHack is a Haskell game engine library for ASCII roguelike games of arbitrary theme, size an...40 versions - Latest release: almost 10 years ago - 1 dependent package - 7 dependent repositories - 30.3 thousand downloads total - 2 maintainers
vty 5.35.1
vty is terminal GUI library in the niche of ncurses. It is intended to be easy to use and to prov...111 versions - Latest release: about 2 years ago - 37 dependent packages - 219 dependent repositories - 111 thousand downloads total - 321 stars on GitHub - 2 maintainers
telegram-bot-simple 0.11.1
Please see the README on Github at https://github.com/fizruk/telegram-bot-simple#readme30 versions - Latest release: about 1 year ago - 2 dependent packages - 19 dependent repositories - 3.74 thousand downloads total - 105 stars on GitHub - 2 maintainers
api-tools 0.5.2
A Haskell embedded DSL for generating an API's JSON wrappers and documentation.13 versions - Latest release: over 9 years ago - 2 dependent packages - 1 dependent repositories - 8.36 thousand downloads total - 34 stars on GitHub - 2 maintainers
ChasingBottoms 1.3.1
32 versions - Latest release: almost 8 years ago - 147 dependent repositories - 33.7 thousand downloads total - 2 maintainersstep-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.52 thousand downloads total - 3 stars on GitHub - 2 maintainers
hspec-hedgehog 0.1.1.0
Please see the README on GitHub at https://github.com/parsonsmatt/hspec-hedgehog#readme6 versions - Latest release: 7 months ago - 2 dependent packages - 60 dependent repositories - 5.79 thousand downloads total - 27 stars on GitHub - 2 maintainers
servant-util 0.1.0
Basement for common Servant combinators like filtering, sorting, pagination and semantical logging.6 versions - Latest release: almost 3 years ago - 2 dependent packages - 1 dependent repositories - 725 downloads total - 33 stars on GitHub - 2 maintainers
quickcheck-instances 0.3.31
Instances for QuickCheck classes39 versions - Latest release: 3 days ago - 26 dependent packages - 444 dependent repositories - 78.2 thousand downloads total - 13 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: 10 days ago - 9 dependent packages - 34 dependent repositories - 13 thousand downloads total - 180 stars on GitHub - 2 maintainers
roboservant 0.1.0.3
Please see the README on GitHub at https://github.com/mwotton/roboservant#readme4 versions - Latest release: over 1 year ago - 2 dependent repositories - 509 downloads total - 26 stars on GitHub - 2 maintainers
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
haskoin-core 1.1.0
Please see the README on GitHub at https://github.com/haskoin/haskoin-core#readme63 versions - Latest release: 2 months ago - 4 dependent packages - 17 dependent repositories - 25.1 thousand downloads total - 520 stars on GitHub - 2 maintainers
modern-uri 0.3.6.1
Modern library for working with URIs.24 versions - Latest release: 9 months ago - 11 dependent packages - 54 dependent repositories - 23.5 thousand downloads total - 66 stars on GitHub - 2 maintainers
EdisonCore 1.3.3
13 versions - Latest release: over 1 year ago - 1 dependent package - 16 dependent repositories - 22.7 thousand downloads total - 2 maintainersmonad-bayes 1.3.0
A library for probabilistic programming using probability monads. The emphasis is on composition ...8 versions - Latest release: 2 months ago - 2 dependent packages - 5 dependent repositories - 1.29 thousand downloads total - 394 stars on GitHub - 2 maintainers
pathtype 0.8.1
This package provides type-safe access to filepath manipulations. System.Path is designed to be ...20 versions - Latest release: over 6 years ago - 7 dependent packages - 54 dependent repositories - 14.5 thousand downloads total - 2 maintainers
hakyll 2.4.4
192 versions - Latest release: about 13 years ago - 5 dependent packages - 833 dependent repositories - 184 thousand downloads total - 2 maintainersclientsession 0.9.1
Achieves security through AES-CTR encryption and Skein-MAC-512-256 authentication. Uses Base64 e...43 versions - Latest release: over 9 years ago - 7 dependent packages - 554 dependent repositories - 89.8 thousand downloads total - 24 stars on GitHub - 2 maintainers
clash-prelude 1.8.1
Clash is a functional hardware description language that borrows both its syntax and semantics fr...66 versions - Latest release: 6 months ago - 7 dependent packages - 52 dependent repositories - 48 thousand downloads total - 2 maintainers
Z-Data 2.0.0.2
This package provides array, slice and text operations49 versions - Latest release: 10 months ago - 3 dependent packages - 3 dependent repositories - 16 thousand downloads total - 71 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.55 thousand downloads total - 98 stars on GitHub - 2 maintainers
mandrill 0.5.7.0
28 versions - Latest release: about 1 year ago - 138 dependent repositories - 16.6 thousand downloads total - 2 maintainerslattices 2.2.1
Fine-grained lattice primitives for Haskell20 versions - Latest release: 3 days ago - 9 dependent packages - 128 dependent repositories - 23.9 thousand downloads total - 35 stars on GitHub - 2 maintainers
mattermost-api-qc 90000.0.0
QuickCheck instance library for the mattermost-api library.35 versions - Latest release: 4 months ago - 1 dependent repositories - 14.3 thousand downloads total - 1 stars on GitHub - 2 maintainers
prolude 0.0.0.30
30 versions - Latest release: over 1 year ago - 4.61 thousand downloads total - 2 maintainersgenvalidity-hspec-hashable 1.0.0.1 💰
Validity and validity-based testing10 versions - Latest release: 8 months ago - 7 dependent repositories - 4.49 thousand downloads total - 154 stars on GitHub - 1 maintainer
genvalidity-hspec 1.0.0.3 💰
Validity and validity-based testing30 versions - Latest release: 8 months ago - 2 dependent packages - 28 dependent repositories - 16.8 thousand downloads total - 154 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.95 thousand downloads total - 1 stars on GitHub - 1 maintainer
fuzzy-time-gen 0.3.0.0 💰
5 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 738 downloads total - 5 stars on GitHub - 1 maintainerboard-games 0.2.1
11 versions - Latest release: almost 5 years ago - 1 dependent package - 14 dependent repositories - 7.58 thousand downloads total - 1 maintainerformatn 0.3.0
Text formatting of Doubles7 versions - Latest release: about 1 year ago - 3 dependent packages - 2 dependent repositories - 769 downloads total - 2 stars on GitHub - 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.31 thousand downloads total - 1 maintainer
fin-int 0.2.0
This provides a newtype Fin containing an Int with an invariant that its value is less than its t...3 versions - Latest release: over 2 years ago - 1 dependent package - 2 dependent repositories - 397 downloads total - 0 stars on GitHub - 1 maintainer
fin 0.2.1
Nat, Fin, Vec9 versions - Latest release: over 2 years ago - 6 dependent packages - 13 dependent repositories - 11.6 thousand downloads total - 23 stars on GitHub - 1 maintainer
bin 0.1.3
Nat, Fin, Vec4 versions - Latest release: about 1 year ago - 1 dependent package - 6 dependent repositories - 7.14 thousand downloads total - 23 stars on GitHub - 1 maintainer
QuickCheck-GenT 0.2.2
A GenT monad transformer for QuickCheck library9 versions - Latest release: over 4 years ago - 5 dependent repositories - 7.03 thousand downloads total - 2 stars on GitHub - 1 maintainer
explainable-predicates 0.1.2.4
Explainable predicates are essentially functions from types to Bool which can additionally descri...7 versions - Latest release: 6 months ago - 1 dependent package - 8 dependent repositories - 1.34 thousand downloads total - 8 stars on GitHub - 1 maintainer