Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "ghc-plugin" keyword

ghc-typelits-presburger 0.7.4.2 💰
Presburger arithmetic solver for built-in type-level naturals
24 versions - Latest release: 8 months ago - 4 dependent packages - 9 dependent repositories - 9.05 thousand downloads total - 10 stars on GitHub - 1 maintainer
singletons-presburger 0.7.4.1 💰
Presburger arithmetic solver for built-in type-level naturals
12 versions - Latest release: 8 months ago - 3 dependent packages - 8 dependent repositories - 1.79 thousand downloads total - 9 stars on GitHub - 1 maintainer
smuggler2 0.3.6.2
Add smuggler2 to the build dependencies of your project. . Then add the following to ghc-options:...
9 versions - Latest release: about 5 years ago - 1 dependent repositories - 1.8 thousand downloads total - 20 stars on GitHub - 1 maintainer
Related Keywords
library 3 Propose Tags 3 compiler-plugin 3 haskell 3 ghc 3 type-level-programming 2 solver 2 presburger-arithmetic-solver 2 dependent-types 2 type-system 2 math 2 bsd3 2 development 1 mpl 1 refactoring 1 exports 1 imports 1 plugin 1 plugins 1 sourcemod-plugin 1