10

8

6

4

2


9.1

5.6

7.7
0.0

2.7
0.0

7 Constraints packages and projects

  • constraints

    9.1 5.6 Haskell
    Tools for programming with ConstraintKinds in GHC
  • mios

    7.7 0.0 Haskell
    A SAT solver written in Haskell.
  • Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
    Promo coderabbit.ai
    CodeRabbit Logo
  • constraints-emerge

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

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

    3.4 0.0 Haskell
    Access an instance's constraints
  • exists

    2.7 0.0 Haskell
    Existential datatypes holding evidence of constraints
  • cluss

    2.6 0.0 Haskell
    simple alternative to type classes

Add another 'Constraints' Package