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: 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

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.3 thousand downloads total - 11 maintainers
Top 4.0% on hackage.haskell.org
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: 4 months ago - 4 dependent packages - 193 dependent repositories - 52.2 thousand downloads total - 10 maintainers
Top 2.9% on hackage.haskell.org
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
Top 5.9% on hackage.haskell.org
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
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
Top 4.7% on hackage.haskell.org
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
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
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: 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.md
10 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 sessions
3 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#readme
32 versions - Latest release: 12 days ago - 1 dependent package - 1 dependent repositories - 916 downloads total - 13 stars on GitHub - 5 maintainers
Top 6.6% on hackage.haskell.org
Crypto 4.2.5
10 versions - Latest release: about 12 years ago - 5 dependent packages - 41 dependent repositories - 20.6 thousand downloads total - 5 maintainers
thyme 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 maintainers
Top 4.3% on hackage.haskell.org
swagger2 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.md
69 versions - Latest release: 3 days ago - 2 dependent repositories - 3.38 thousand downloads total - 5 stars on GitHub - 4 maintainers
Top 1.2% on hackage.haskell.org
MissingH 1.1.0
31 versions - Latest release: about 15 years ago - 23 dependent packages - 588 dependent repositories - 74.8 thousand downloads total - 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: 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 packaging
66 versions - Latest release: 8 months ago - 2 dependent packages - 40 dependent repositories - 51 thousand downloads total - 0 stars on GitHub - 4 maintainers
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 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
33 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
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: 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 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.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 cases
9 versions - Latest release: 3 months ago - 1 dependent package - 2 dependent repositories - 503 downloads total - 4 stars on GitHub - 4 maintainers
Top 0.9% on hackage.haskell.org
hspec-core 2.11.8
90 versions - Latest release: 27 days ago - 18 dependent packages - 309 dependent repositories - 168 thousand downloads total - 3 maintainers
Top 1.9% on hackage.haskell.org
tls 2.0.5
TLS/SSL implementation in haskell
104 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
Top 8.6% on hackage.haskell.org
hspec-meta 2.11.8
60 versions - Latest release: 27 days ago - 141 dependent repositories - 53.9 thousand downloads total - 3 maintainers
Top 3.7% on hackage.haskell.org
these 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
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.3 thousand downloads total - 3 maintainers
Top 0.2% on hackage.haskell.org
hspec 2.11.8
161 versions - Latest release: 27 days ago - 62 dependent packages - 6,550 dependent repositories - 283 thousand downloads total - 3 maintainers
strict-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 maintainers
IOSpec 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
Top 1.2% on hackage.haskell.org
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
Top 5.6% on hackage.haskell.org
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 evaluator
24 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 4.14 thousand downloads total - 214 stars on GitHub - 3 maintainers
Top 9.3% on hackage.haskell.org
cryptol 3.1.0
21 versions - Latest release: 3 months ago - 1 dependent package - 93 dependent repositories - 13.5 thousand downloads total - 3 maintainers
proto-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
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.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
Top 5.0% on hackage.haskell.org
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
Top 6.7% on hackage.haskell.org
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
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.7 thousand downloads total - 3 maintainers
tasty-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 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
http-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
Top 3.9% on hackage.haskell.org
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 description
15 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 maintainers
io-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 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 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 maintainers
LambdaHack 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
Top 2.2% on hackage.haskell.org
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#readme
30 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
Top 9.1% on hackage.haskell.org
ChasingBottoms 1.3.1
32 versions - Latest release: almost 8 years ago - 147 dependent repositories - 33.7 thousand downloads total - 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.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#readme
6 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
Top 6.5% on hackage.haskell.org
quickcheck-instances 0.3.31
Instances for QuickCheck classes
39 versions - Latest release: 3 days ago - 26 dependent packages - 444 dependent repositories - 78.2 thousand downloads total - 13 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: 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#readme
4 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
Top 6.3% on hackage.haskell.org
haskoin-core 1.1.0
Please see the README on GitHub at https://github.com/haskoin/haskoin-core#readme
63 versions - Latest release: 2 months ago - 4 dependent packages - 17 dependent repositories - 25.1 thousand downloads total - 520 stars on GitHub - 2 maintainers
Top 7.0% on hackage.haskell.org
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 maintainers
monad-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
Top 7.1% on hackage.haskell.org
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
Top 1.9% on hackage.haskell.org
hakyll 2.4.4
192 versions - Latest release: about 13 years ago - 5 dependent packages - 833 dependent repositories - 184 thousand downloads total - 2 maintainers
Top 5.1% on hackage.haskell.org
clientsession 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
Top 4.9% on hackage.haskell.org
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 operations
49 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 maintainers
Top 7.4% on hackage.haskell.org
lattices 2.2.1
Fine-grained lattice primitives for Haskell
20 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 maintainers
genvalidity-hspec-hashable 1.0.0.1 💰
Validity and validity-based testing
10 versions - Latest release: 8 months ago - 7 dependent repositories - 4.49 thousand downloads total - 154 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 - 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 maintainer
board-games 0.2.1
11 versions - Latest release: almost 5 years ago - 1 dependent package - 14 dependent repositories - 7.58 thousand downloads total - 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
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, Vec
9 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, Vec
4 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 library
9 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