Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 1.4% downloads on hackage.haskell.org
Top 0.5% dependent packages on hackage.haskell.org
Top 1.4% dependent repos on hackage.haskell.org
Top 6.9% forks on hackage.haskell.org
hackage.haskell.org : constraints
GHC 7.4 gave us the ability to talk about ConstraintKinds. They stopped crashing the compiler in GHC 7.6. This package provides a vocabulary for working with them.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/constraints
Keywords: bsd2, constraints, library
License: BSD-2-Clause
Latest release: 4 days ago
First release: over 12 years ago
Dependent packages: 57
Dependent repositories: 291
Downloads: 94,622 total
Stars: 70 on GitHub
Forks: 32 on GitHub
Total Commits: 254
Committers: 30
Average commits per author: 8.467
Development Distribution Score (DDS): 0.48
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago
servant-client-core 0.20.1
This library provides backend-agnostic generation of client functions. For more information, see ...15 versions - Latest release: about 11 hours ago - 32 dependent packages - 199 dependent repositories - 24.1 thousand downloads total - 9 maintainers
lens 5.3.2
This package comes "Batteries Included" with many useful lenses for the types commonly used from ...158 versions - Latest release: 4 days ago - 366 dependent packages - 4,552 dependent repositories - 417 thousand downloads total - 1,984 stars on GitHub - 4 maintainers
prairie 0.0.4.0
Please see the README on GitHub at https://github.com/parsonsmatt/prairie#readme6 versions - Latest release: about 1 month ago - 1 dependent repositories - 468 downloads total - 17 stars on GitHub - 1 maintainer
yaya 0.6.2.0
Recursion schemes allow you to separate recursion from your business logic – making your own oper...15 versions - Latest release: about 1 month ago - 4 dependent packages - 2 dependent repositories - 3.17 thousand downloads total - 86 stars on GitHub - 1 maintainer
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
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
termonad 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
quickcheck-state-machine 0.9.0
See README at https://github.com/stevana/quickcheck-state-machine#readme17 versions - Latest release: 4 months ago - 2 dependent packages - 12 dependent repositories - 10.8 thousand downloads total - 9 stars on GitHub - 1 maintainer
functor-combinators 0.4.1.3 💰
Tools for working with functor combinators: types that take functors (or other indexed types) and...20 versions - Latest release: 4 months ago - 1 dependent package - 7 dependent repositories - 5.11 thousand downloads total - 40 stars on GitHub - 1 maintainer
sized 1.1.0.1
17 versions - Latest release: 5 months ago - 8 dependent repositories - 5.55 thousand downloads total - 1 maintainertype-natural 1.3.0.1 💰
Type-level well-kinded natural numbers.48 versions - Latest release: 5 months ago - 2 dependent packages - 14 dependent repositories - 27.8 thousand downloads total - 33 stars on GitHub - 1 maintainer
refined-containers 0.1.0.1
2 versions - Latest release: 5 months ago - 61 downloads total - 2 maintainerstypelits-witnesses 0.4.0.1 💰
This library contains: A small specialized subset of the *singletons* library as it pertains to ...15 versions - Latest release: 6 months ago - 3 dependent packages - 27 dependent repositories - 9.54 thousand downloads total - 9 stars on GitHub - 1 maintainer
HMock 0.5.1.2
HMock is a flexible mock framework for testing effectful code in Haskell. Tests can set up expec...8 versions - Latest release: 6 months ago - 8 dependent repositories - 1.53 thousand downloads total - 23 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 - 7 dependent packages - 52 dependent repositories - 48 thousand downloads total - 2 maintainers
servant 0.20.1
49 versions - Latest release: 8 months ago - 108 dependent packages - 711 dependent repositories - 81.3 thousand downloads total - 11 maintainersnested-routes 10.0.0
Declarative, Compositional Url Handling for WAI51 versions - Latest release: 8 months ago - 1 dependent package - 13 dependent repositories - 24.1 thousand downloads total - 10 stars on GitHub - 1 maintainer
heftia 0.1.0.0
Heftia, a composition of hefty trees and co-Yoneda, is a higher-order effects version of Freer. ...1 version - Latest release: 8 months ago - 1 dependent package - 23 downloads total - 1 maintainer
monadology 0.3
3 versions - Latest release: 9 months ago - 1 dependent repositories - 250 downloads total - 7 stars on GitHub - 1 maintainerpolysemy-zoo 0.8.2.0
Please see the README on GitHub at https://github.com/isovector/polysemy-zoo#readme18 versions - Latest release: 10 months ago - 4 dependent packages - 13 dependent repositories - 6.63 thousand downloads total - 70 stars on GitHub - 4 maintainers
morley-client 0.4.0
A client to interact with the Tezos blockchain, by use of the octez-node RPC and/or of the octez-...9 versions - Latest release: 10 months ago - 2 dependent packages - 4 dependent repositories - 462 downloads total - 18 stars on GitLab.com - 2 maintainers
cleveland 0.4.0
This package provides an eDSL for testing contracts written in Michelson, Morley or Lorentz. Thes...9 versions - Latest release: 10 months ago - 10 dependent repositories - 443 downloads total - 18 stars on GitLab.com - 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.85 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.7 thousand downloads total - 18 stars on GitLab.com - 3 maintainers
arithmoi 0.13.0.0
Number theory: primes, arithmetic functions, modular computations, special sequences37 versions - Latest release: 10 months ago - 6 dependent packages - 158 dependent repositories - 41.2 thousand downloads total - 144 stars on GitHub - 4 maintainers
witness 0.6.2
9 versions - Latest release: 10 months ago - 1 dependent package - 19 dependent repositories - 5.13 thousand downloads total - 4 stars on GitHub - 1 maintainerhypertypes 0.2.2 💰
Please see the README on GitHub at https://github.com/lamdu/hypertypes#readme3 versions - Latest release: 10 months ago - 1 dependent repositories - 368 downloads total - 106 stars on GitHub - 1 maintainer
numeric-optimization 0.1.1.0
Please see the README on GitHub at https://github.com/msakai/nonlinear-optimization-ad/tree/maste...3 versions - Latest release: 11 months ago - 3 dependent packages - 121 downloads total - 8 stars on GitHub - 1 maintainer
linear-smc 2.2.3
7 versions - Latest release: 11 months ago - 357 downloads total - 1 maintainerspade 0.1.0.9
A simple weakly typed, dynamic, interpreted programming langauge and terminal IDE.10 versions - Latest release: 11 months ago - 1 dependent package - 442 downloads total - 1 maintainer
free-algebras 0.1.1.0
Algebraic approach to free algebras, inspired by Univeral Algebra and Category Theory, including ...17 versions - Latest release: 12 months ago - 1 dependent package - 5 dependent repositories - 9.58 thousand downloads total - 32 stars on GitHub - 1 maintainer
halide-haskell 0.0.2.0
Halide is a programming language designed to make it easier to write high-performance image and a...2 versions - Latest release: 12 months ago - 3 dependent packages - 89 downloads total - 19 stars on GitHub - 1 maintainer
indigo 0.6.0
Syntax and implementation of Indigo eDSL.9 versions - Latest release: about 1 year ago - 2 dependent repositories - 1.22 thousand downloads total - 4 maintainers
i 0.1
Haskell interval types. Bounds checking.1 version - Latest release: about 1 year ago - 1 dependent repositories - 48 downloads total - 0 stars on GitHub - 1 maintainer
boring 0.2.1
Boring and Absurd types7 versions - Latest release: about 1 year ago - 6 dependent packages - 10 dependent repositories - 10.8 thousand downloads total - 15 stars on GitHub - 1 maintainer
exinst-base 0.9
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...1 version - Latest release: over 1 year ago - 68 downloads total - 21 stars on GitHub - 1 maintainer
dependent-monoidal-map 0.1.1.3
5 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 1.63 thousand downloads total - 3 maintainersvessel 0.3.0.0
A dependently-typed key-value data structure that allows for storage of both "queries", (wherein ...4 versions - Latest release: over 1 year ago - 1 dependent package - 3 dependent repositories - 276 downloads total - 3 maintainers
dependent-sum-aeson-orphans 0.3.1.1
JSON instances for DSum and DMap6 versions - Latest release: over 1 year ago - 2 dependent packages - 4 dependent repositories - 2.12 thousand downloads total - 3 stars on GitHub - 2 maintainers
reflex-gadt-api 0.2.2.1
This package is designed to be used in full-stack Haskell applications where the API is defined a...6 versions - Latest release: over 1 year ago - 1 dependent package - 3 dependent repositories - 644 downloads total - 3 maintainers
constraints-extras 0.4.0.0
Convenience functions and TH for working with constraints. See README.md for example usage.19 versions - Latest release: over 1 year ago - 13 dependent packages - 39 dependent repositories - 28.7 thousand downloads total - 9 stars on GitHub - 4 maintainers
servant-server 0.19.2
A family of combinators for defining webservices APIs and serving them You can learn about the b...49 versions - Latest release: over 1 year ago - 51 dependent packages - 709 dependent repositories - 70.9 thousand downloads total - 11 maintainers
dep-t-advice 0.6.2.0
Companion to the dep-t package. Easily add behaviour to functions living in a record-of-functions...16 versions - Latest release: over 1 year ago - 2.32 thousand downloads total - 1 maintainer
candid 0.3.2
A candid library for Haskell12 versions - Latest release: over 1 year ago - 1 dependent package - 7 dependent repositories - 698 downloads total - 5 stars on GitHub - 1 maintainer
data-compat 0.1.0.4
Define Backwards Compatibility Schemes for Arbitrary Data5 versions - Latest release: over 1 year ago - 1.15 thousand downloads total - 7 stars on GitHub - 1 maintainer
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
lifted-async 0.10.2
This package provides IO operations from async package lifted to any instance of MonadBase or Mon...42 versions - Latest release: about 3 years ago - 24 dependent packages - 232 dependent repositories - 91.5 thousand downloads total - 29 stars on GitHub - 1 maintainer
quickspec 2.1.5
QuickSpec takes your Haskell code and, as if by magic, discovers laws about it. You give QuickSpe...15 versions - Latest release: over 3 years ago - 6 dependent repositories - 9.53 thousand downloads total - 247 stars on GitHub - 1 maintainer
parameterized-utils 2.1.1
A set of utilities for using indexed types including containers, equality, and comparison.14 versions - Latest release: almost 4 years ago - 11 dependent packages - 30 dependent repositories - 10.5 thousand downloads total - 57 stars on GitHub - 4 maintainers
exinst-bytes 0.7.1
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...7 versions - Latest release: about 4 years ago - 3.79 thousand downloads total - 21 stars on GitHub - 1 maintainer
exinst-cereal 0.7.1
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...3 versions - Latest release: about 4 years ago - 1 dependent repositories - 980 downloads total - 21 stars on GitHub - 1 maintainer
exinst-serialise 0.7.1
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...3 versions - Latest release: about 4 years ago - 1.05 thousand downloads total - 21 stars on GitHub - 1 maintainer
exinst-aeson 0.7.1
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...7 versions - Latest release: about 4 years ago - 3.86 thousand downloads total - 21 stars on GitHub - 1 maintainer
reflex 0.6.4
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) use...34 versions - Latest release: over 4 years ago - 18 dependent packages - 95 dependent repositories - 19.4 thousand downloads total - 4 maintainers
reflex-dom-core 0.5.3
15 versions - Latest release: over 4 years ago - 3 dependent packages - 34 dependent repositories - 3.9 thousand downloads total - 4 maintainersdistributed-closure 0.4.1
See README.14 versions - Latest release: over 5 years ago - 1 dependent package - 16 dependent repositories - 8.23 thousand downloads total - 64 stars on GitHub - 3 maintainers
exinst 0.1.2
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...12 versions - Latest release: over 7 years ago - 5 dependent packages - 2 dependent repositories - 6.63 thousand downloads total - 21 stars on GitHub - 1 maintainer