Package cluss
Top Similar Packages
Packages that have similar categories to this package
- constraints 110
- tfp 29
- toysolver 25
- ghc-typelits-knownnat 13
- ghc-typelits-natnormalise 13
- pseudo-boolean 8
- type-level-sets 6
- type-level-natural-number 5
- type-spine 5
- ghc-tcplugins-extra 4
- uom-plugin 4
- ghc-typelits-presburger 3
- kinds 3
- type-level-numbers 3
- data-type 2
- ghc-typelits-extra 2
- mios 2
- names 2
- nondeterminism 2
- type-digits 2