10

8

6

4

2


9.1

5.4

7.8
0.0

3.5
0.0

7 Constraints packages and projects

  • constraints-deriving

    5.6 0.0 Haskell
    Programmatically create new instances using core-to-core plugins
  • constraints

    9.1 5.4 Haskell
    Tools for programming with ConstraintKinds in GHC
  • Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
  • mios

    7.8 0.0 Haskell
    A SAT solver written in Haskell.
  • superconstraints

    4.0 0.0 Haskell
    Access an instance's constraints
  • constraints-emerge

    7.1 0.0 Haskell
    📤 defer instance resolution until runtime
  • cluss

    3.5 0.0 Haskell
    simple alternative to type classes
  • exists

    3.2 0.0 Haskell
    Existential datatypes holding evidence of constraints

Add another 'Constraints' Package