10

8

6

4

2


9.2

3.9

7.6
0.0

3.2
0.0

7 Constraints packages and projects

  • constraints

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

    7.6 0.0 Haskell
    A SAT solver written in Haskell.
  • Zigi monitors Jira and GitHub updates, pings you when PRs need approval and lets you take fast actions - all directly from Slack! Plus it reduces cycle time by up to 75%.
    Promo
  • constraints-emerge

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

    5.6 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.2 0.0 Haskell
    simple alternative to type classes
  • exists

    1.9 0.0 Haskell
    Existential datatypes holding evidence of constraints

Add another 'Constraints' Package