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: 11 months ago
First release: over 17 years ago
Dependent packages: 214
Dependent repositories: 7,326
Downloads: 433,018 total
Stars: 691 on GitHub
Forks: 117 on GitHub
Docker dependents: 1
Docker downloads: 16
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
hledger 1.33.1
The command-line interface for the hledger accounting system. Its basic function is to read a pla...116 versions - Latest release: about 6 hours ago - 3 dependent packages - 146 dependent repositories - 85.3 thousand downloads total - 1 maintainer
haskoin-store 1.5.2
Haskoin Store is a blockchain storage service with a RESTful API307 versions - Latest release: 8 days ago - 1 dependent package - 1 dependent repositories - 261 thousand downloads total - 26 stars on GitHub - 1 maintainer
quickcheck-monoid-subclasses 0.3.0.3
QuickCheck support for testing instances of type classes defined in the monoid-subclasses library.8 versions - Latest release: 8 days ago - 1 dependent package - 634 downloads total - 1 maintainer
quickcheck-groups 0.0.1.2
QuickCheck support for testing instances of type classes defined in the groups library.4 versions - Latest release: 8 days ago - 1 dependent package - 318 downloads total - 1 maintainer
dunai-test 0.12.3 💰
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream ...18 versions - Latest release: 9 days ago - 1 dependent repositories - 1.53 thousand downloads total - 190 stars on GitHub - 1 maintainer
hspec 2.11.8
161 versions - Latest release: 9 days ago - 54 dependent packages - 6,550 dependent repositories - 283 thousand downloads total - 3 maintainershspec-meta 2.11.8
60 versions - Latest release: 9 days ago - 141 dependent repositories - 53.9 thousand downloads total - 3 maintainershspec-core 2.11.8
90 versions - Latest release: 9 days ago - 16 dependent packages - 309 dependent repositories - 167 thousand downloads total - 3 maintainerstls 2.0.5
TLS/SSL implementation in haskell104 versions - Latest release: 10 days ago - 43 dependent packages - 313 dependent repositories - 290 thousand downloads total - 401 stars on GitHub - 3 maintainers
grisette 0.5.0.1
Grisette is a reusable symbolic evaluation library for Haskell. By translating programs into cons...9 versions - Latest release: 13 days ago - 1 dependent package - 2 dependent repositories - 274 downloads total - 44 stars on GitHub - 1 maintainer
proto3-wire 1.4.2
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...9 versions - Latest release: 15 days ago - 1 dependent package - 11 dependent repositories - 7.11 thousand downloads total - 5 maintainers
synthesizer-core 0.8.4
31 versions - Latest release: 16 days ago - 5 dependent packages - 13 dependent repositories - 21.1 thousand downloads total - 1 maintainerstackctl 1.6.1.1
Please see https://github.com/freckle/stackctl#readme30 versions - Latest release: 24 days ago - 1 dependent package - 1 dependent repositories - 814 downloads total - 13 stars on GitHub - 5 maintainers
yampa-test 0.14.8 💰
Functional Reactive Programming domain-specific language for efficient hybrid systems18 versions - Latest release: 24 days ago - 3 dependent repositories - 2.01 thousand downloads total - 421 stars on GitHub - 1 maintainer
liquidhaskell 0.8.10.7.1
Liquid Types for Haskell.36 versions - Latest release: 28 days ago - 9 dependent packages - 21 dependent repositories - 23.6 thousand downloads total - 1,145 stars on GitHub - 7 maintainers
quickcheck-lockstep 0.5.0
Lockstep-style testing is a particular approach for blackbox testing of stateful APIs: we generat...7 versions - Latest release: about 1 month ago - 1 dependent repositories - 369 downloads total - 2 maintainers
quickcheck-dynamic 3.4.1
Please see the README on GitHub at https://github.com/input-output-hk/quickcheck-dynamic#readme14 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 1.01 thousand downloads total - 23 stars on GitHub - 1 maintainer
attoparsec-framer 0.1.0.3
Use Attoparsec to parse framed protocol bytestreams4 versions - Latest release: about 2 months ago - 1 dependent package - 220 downloads total - 0 stars on GitHub - 1 maintainer
haskoin-core 1.1.0
Please see the README on GitHub at https://github.com/haskoin/haskoin-core#readme63 versions - Latest release: about 2 months ago - 4 dependent packages - 17 dependent repositories - 25.1 thousand downloads total - 520 stars on GitHub - 2 maintainers
secp256k1-haskell 1.2.0
Haskell bindings for secp256k1 library26 versions - Latest release: about 2 months ago - 1 dependent package - 16 dependent repositories - 10.1 thousand downloads total - 23 stars on GitHub - 1 maintainer
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: about 2 months ago - 3 dependent packages - 53 dependent repositories - 47.8 thousand downloads total - 2 maintainers
monad-bayes 1.3.0
A library for probabilistic programming using probability monads. The emphasis is on composition ...7 versions - Latest release: about 2 months ago - 2 dependent packages - 5 dependent repositories - 1.23 thousand downloads total - 394 stars on GitHub - 2 maintainers
string-variants 0.3.1.0
Newtypes over Text, allowing for safer application code by eliminating edge cases9 versions - Latest release: about 2 months ago - 1 dependent package - 2 dependent repositories - 467 downloads total - 4 stars on GitHub - 4 maintainers
nix-diff 1.0.20 💰
This package provides a nix-diff executable which explains why two Nix derivations (i.e. *.drv fi...21 versions - Latest release: 2 months ago - 1 dependent package - 7.06 thousand downloads total - 312 stars on GitHub - 1 maintainer
hevm 0.53.0
symbolic EVM evaluator24 versions - Latest release: 2 months ago - 1 dependent package - 1 dependent repositories - 4.11 thousand downloads total - 211 stars on GitHub - 3 maintainers
event-list 0.1.3
20 versions - Latest release: 2 months ago - 8 dependent packages - 29 dependent repositories - 17.7 thousand downloads total - 1 maintainerproto3-suite 0.7.0
9 versions - Latest release: 2 months ago - 1 dependent package - 7 dependent repositories - 3.62 thousand downloads total - 5 maintainersblockfrost-api 0.10.0.0
Core types and Servant API description15 versions - Latest release: 3 months ago - 1 dependent package - 4 dependent repositories - 2.36 thousand downloads total - 27 stars on GitHub - 2 maintainers
io-sim 1.4.1.0
A pure simulator monad with support of concurency (base & async style), stm, synchronous and asyn...8 versions - Latest release: 3 months ago - 22 dependent repositories - 1.85 thousand downloads total - 1 maintainer
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: 3 months ago - 2 dependent packages - 7 dependent repositories - 10 thousand downloads total - 1 maintainer
cryptol 3.1.0
21 versions - Latest release: 3 months ago - 1 dependent package - 93 dependent repositories - 13.5 thousand downloads total - 3 maintainerstermonad 4.6.0.0 💰
Termonad is a terminal emulator configurable in Haskell. It is extremely customizable and provid...26 versions - Latest release: 3 months ago - 1 dependent package - 7 dependent repositories - 7.78 thousand downloads total - 389 stars on GitHub - 1 maintainer
xmonad 0.18.0
xmonad is a tiling window manager for X. Windows are arranged automatically to tile the screen wi...26 versions - Latest release: 3 months ago - 2 dependent packages - 193 dependent repositories - 52.2 thousand downloads total - 10 maintainers
mattermost-api-qc 90000.0.0
QuickCheck instance library for the mattermost-api library.35 versions - Latest release: 3 months ago - 1 dependent repositories - 14.3 thousand downloads total - 1 stars on GitHub - 2 maintainers
raaz 0.3.9
Raaz is a cryptographic library which provides the state of the art cryptographic primitives via ...18 versions - Latest release: 3 months ago - 1 dependent package - 12 dependent repositories - 5.34 thousand downloads total - 67 stars on GitHub - 1 maintainer
rest-rewrite 0.4.3
8 versions - Latest release: 3 months ago - 2 dependent packages - 5 dependent repositories - 1.49 thousand downloads total - 1 maintainerswagger2 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: 3 months ago - 15 dependent packages - 215 dependent repositories - 42.2 thousand downloads total - 72 stars on GitHub - 4 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: 3 months ago - 1 dependent package - 2 dependent repositories - 855 downloads total - 3 maintainers
tasty-lua 1.1.1 💰
Haskell bindings to Lua, an embeddable scripting language.14 versions - Latest release: 3 months ago - 53 dependent repositories - 10 thousand downloads total - 122 stars on GitHub - 1 maintainer
quickcheck-state-machine 0.9.0
See README at https://github.com/stevana/quickcheck-state-machine#readme17 versions - Latest release: 4 months ago - 1 dependent package - 12 dependent repositories - 10.7 thousand downloads total - 9 stars on GitHub - 1 maintainer
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.11 thousand downloads total - 6 maintainers
project-m36 0.9.9
A relational algebra engine which can be used to persist and query Haskell data types.17 versions - Latest release: 4 months ago - 1 dependent package - 2 dependent repositories - 5.1 thousand downloads total - 875 stars on GitHub - 1 maintainer
copilot-c99 3.18.1
This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-...38 versions - Latest release: 4 months ago - 4 dependent packages - 5 dependent repositories - 14.4 thousand downloads total - 4 maintainers
ltext 0.1.5
Please see the README on GitHub at https://github.com/ltext/ltext#README18 versions - Latest release: 4 months ago - 1 dependent package - 18 dependent repositories - 8.14 thousand downloads total - 36 stars on GitHub - 1 maintainer
coinor-clp 0.0.0.2
3 versions - Latest release: 4 months ago - 130 downloads total - 1 maintainerlinear-programming 0.0.1
3 versions - Latest release: 4 months ago - 2 dependent packages - 164 downloads total - 1 maintainercomfort-array 0.5.4
22 versions - Latest release: 4 months ago - 11 dependent packages - 6 dependent repositories - 6.57 thousand downloads total - 1 maintainerincremental-parser 0.5.1
This package defines yet another parser combinator library. This one is implemented using the con...33 versions - Latest release: 5 months ago - 1 dependent package - 147 dependent repositories - 20 thousand downloads total - 21 stars on GitHub - 1 maintainer
graphula 2.1.0.0
Please see README.md10 versions - Latest release: 5 months ago - 9 dependent repositories - 1.54 thousand downloads total - 45 stars on GitHub - 5 maintainers
sydtest-hspec 0.4.0.2 💰
A modern testing framework for Haskell with good defaults and advanced testing features.10 versions - Latest release: 5 months ago - 2 dependent repositories - 586 downloads total - 107 stars on GitHub - 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: 5 months ago - 3 dependent packages - 22 dependent repositories - 26.7 thousand downloads total - 75 stars on GitHub - 4 maintainers
http-types 0.12.4
Types and functions to describe and handle HTTP concepts. Including "methods", "headers", "query ...46 versions - Latest release: 5 months ago - 211 dependent packages - 3,916 dependent repositories - 248 thousand downloads total - 0 stars on GitHub - 2 maintainers
explainable-predicates 0.1.2.4
Explainable predicates are essentially functions from types to Bool which can additionally descri...7 versions - Latest release: 5 months ago - 1 dependent package - 8 dependent repositories - 1.34 thousand downloads total - 8 stars on GitHub - 1 maintainer
HasCacBDD 0.2.0.0
Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache managemen...6 versions - Latest release: 5 months ago - 3 dependent repositories - 2.38 thousand downloads total - 4 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: 5 months ago - 13 dependent packages - 57 dependent repositories - 8.79 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: 6 months ago - 1 dependent package - 1 dependent repositories - 65 downloads total - 1 stars on GitHub - 1 maintainer
gopro-plus 0.6.6.6
Please see the README on GitHub at https://github.com/dustin/gopro-plus#readme29 versions - Latest release: 6 months ago - 1 dependent repositories - 3.82 thousand downloads total - 19 stars on GitHub - 1 maintainer
myers-diff 0.3.0.0
Please see the README on GitHub at https://github.com/codedownio/myers-diff#readme3 versions - Latest release: 6 months ago - 1 dependent package - 1 dependent repositories - 146 downloads total - 9 stars on GitHub - 1 maintainer
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 - 4 dependent packages - 52 dependent repositories - 48 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 maintainerssaturn 1.0.0.3
Saturn handles POSIX cron schedules.9 versions - Latest release: 6 months ago - 1 dependent package - 242 downloads total - 1 maintainer
megaparsec-tests 9.6.1
Test utilities and the test suite of Megaparsec.15 versions - Latest release: 6 months ago - 10 dependent repositories - 2.36 thousand downloads total - 892 stars on GitHub - 1 maintainer
megaparsec 9.6.1
This is an industrial-strength monadic parser combinator library. Megaparsec is a feature-rich pa...44 versions - Latest release: 6 months ago - 124 dependent packages - 967 dependent repositories - 99.7 thousand downloads total - 892 stars on GitHub - 3 maintainers
hspec-hedgehog 0.1.1.0
Please see the README on GitHub at https://github.com/parsonsmatt/hspec-hedgehog#readme6 versions - Latest release: 6 months ago - 2 dependent packages - 60 dependent repositories - 5.72 thousand downloads total - 27 stars on GitHub - 2 maintainers
rere 0.2.0.1
3 versions - Latest release: 6 months ago - 3 dependent repositories - 3.47 thousand downloads total - 1 maintainerpusher-http-haskell 2.1.0.17
Pusher Channels Haskell HTTP Library55 versions - Latest release: 6 months ago - 1 dependent package - 20 dependent repositories - 25.5 thousand downloads total - 28 stars on GitHub - 1 maintainer
Chart-tests 1.9.4
A 2D charting library for haskell2 versions - Latest release: 6 months ago - 486 downloads total - 423 stars on GitHub - 1 maintainer
compdata 0.13.1
32 versions - Latest release: 7 months ago - 1 dependent package - 134 dependent repositories - 26.4 thousand downloads total - 1 maintainertext-builder-dev 0.3.4
Edge of developments for "text-builder"15 versions - Latest release: 7 months ago - 2 dependent packages - 7 dependent repositories - 2.93 thousand downloads total - 1 stars on GitHub - 1 maintainer
keystore 0.9.0.2
storing secret things30 versions - Latest release: 7 months ago - 1 dependent package - 18.9 thousand downloads total - 10 stars on GitHub - 1 maintainer
genvalidity-mergeful 0.3.0.1 💰
Safely synchronise values with safe merge conflicts.5 versions - Latest release: 7 months ago - 2 dependent repositories - 1.33 thousand downloads total - 8 stars on GitHub - 1 maintainer
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 - 32 dependent packages - 87 dependent repositories - 18.2 thousand downloads total - 1,024 stars on GitHub - 4 maintainers
non-empty 0.3.5
14 versions - Latest release: 7 months ago - 20 dependent packages - 21 dependent repositories - 10.3 thousand downloads total - 1 maintainerAgda 2.6.4
Agda is a dependently typed functional programming language: It has inductive families, which are...42 versions - Latest release: 7 months ago - 6 dependent packages - 61 dependent repositories - 60.1 thousand downloads total - 4 maintainers
aeson 2.2.1.0
A JSON parsing and encoding library optimized for ease of use and high performance. To get start...96 versions - Latest release: 7 months ago - 615 dependent packages - 10,280 dependent repositories - 587 thousand downloads total - 1,226 stars on GitHub - 6 maintainers
quickcheck-instances 0.3.30
Instances for QuickCheck classes38 versions - Latest release: 7 months ago - 22 dependent packages - 444 dependent repositories - 77.9 thousand downloads total - 13 stars on GitHub - 2 maintainers
genvalidity-unordered-containers 1.0.0.1 💰
Validity and validity-based testing10 versions - Latest release: 7 months ago - 8 dependent repositories - 4.85 thousand downloads total - 154 stars on GitHub - 1 maintainer
genvalidity-sydtest-hashable 1.0.0.1 💰
Validity and validity-based testing3 versions - Latest release: 7 months ago - 2 dependent repositories - 498 downloads total - 154 stars on GitHub - 1 maintainer
genvalidity-persistent 1.0.0.2 💰
Validity and validity-based testing4 versions - Latest release: 7 months ago - 15 dependent repositories - 545 downloads total - 154 stars on GitHub - 1 maintainer
genvalidity-hspec 1.0.0.3 💰
Validity and validity-based testing30 versions - Latest release: 7 months ago - 2 dependent packages - 28 dependent repositories - 16.8 thousand downloads total - 154 stars on GitHub - 1 maintainer
genvalidity-hspec-hashable 1.0.0.1 💰
Validity and validity-based testing10 versions - Latest release: 7 months ago - 7 dependent repositories - 4.49 thousand downloads total - 154 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: 7 months ago - 13 dependent packages - 27 dependent repositories - 3.96 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: 7 months ago - 3 dependent packages - 2 dependent repositories - 3.91 thousand downloads total - 1 stars on GitHub - 1 maintainer
llvm-tf 12.1.1
38 versions - Latest release: 7 months ago - 6 dependent packages - 20.4 thousand downloads total - 1 maintainerservant 0.20.1
49 versions - Latest release: 7 months ago - 90 dependent packages - 711 dependent repositories - 81 thousand downloads total - 11 maintainersinline-c 0.9.1.10
See https://github.com/fpco/inline-c/blob/master/README.md.49 versions - Latest release: 7 months ago - 15 dependent packages - 74 dependent repositories - 36.3 thousand downloads total - 3 maintainers
comfort-graph 0.0.4
12 versions - Latest release: 7 months ago - 1 dependent package - 16 dependent repositories - 6.55 thousand downloads total - 1 maintaineropentracing-zipkin-v1 0.3.0 💰
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...4 versions - Latest release: 7 months ago - 327 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: 7 months ago - 565 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: 7 months ago - 2 dependent packages - 2 dependent repositories - 6.38 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: 7 months ago - 1 dependent package - 10 dependent repositories - 3.49 thousand downloads total - 1 stars on GitHub - 1 maintainer
debian 4.0.5
Haskell library of datatypes related to Debian packaging66 versions - Latest release: 7 months ago - 2 dependent packages - 40 dependent repositories - 50.9 thousand downloads total - 0 stars on GitHub - 4 maintainers
tasty-quickcheck 0.10.3
Modern and extensible testing framework for Haskell21 versions - Latest release: 8 months ago - 10 dependent packages - 1,611 dependent repositories - 73 thousand downloads total - 628 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: 8 months ago - 79 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#readme39 versions - Latest release: 8 months ago - 1 dependent package - 7 dependent repositories - 13.3 thousand downloads total - 38 stars on GitHub - 1 maintainer
modern-uri 0.3.6.1
Modern library for working with URIs.24 versions - Latest release: 9 months ago - 9 dependent packages - 54 dependent repositories - 23.5 thousand downloads total - 66 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: 9 months ago - 2 dependent repositories - 2.83 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#readme36 versions - Latest release: 9 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: 9 months ago - 13.2 thousand downloads total - 1 maintainerorthotope 0.1.6.0
Multidimensional arrays inspired by APL. The library contains a wide variety of structural operat...8 versions - Latest release: 9 months ago - 3 dependent repositories - 642 downloads total - 1 maintainer