10

8

6

4

2


9.2

6.3

7.7
0.0

3.3
0.0

7 Constraints packages and projects

  • constraints

    9.2 6.3 Haskell
    Tools for programming with ConstraintKinds in GHC
  • mios

    7.7 0.0 Haskell
    A SAT solver written in Haskell.
  • 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.
    Promo www.influxdata.com
    InfluxDB Logo
  • constraints-emerge

    7.0 0.0 Haskell
    📤 defer instance resolution until runtime
  • constraints-deriving

    5.5 0.0 Haskell
    Programmatically create new instances using core-to-core plugins
  • superconstraints

    3.8 0.0 Haskell
    Access an instance's constraints
  • cluss

    3.3 0.0 Haskell
    simple alternative to type classes
  • exists

    3.1 0.0 Haskell
    Existential datatypes holding evidence of constraints

Add another 'Constraints' Package