Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "solver" keyword
ghc-typelits-presburger 0.7.3.0 💰
Presburger arithmetic solver for built-in type-level naturals21 versions - Latest release: 5 months ago - 4 dependent packages - 9 dependent repositories - 7.9 thousand downloads total - 6 stars on GitHub - 1 maintainer
singletons-presburger 0.7.3.0 💰
Presburger arithmetic solver for built-in type-level naturals10 versions - Latest release: 5 months ago - 3 dependent packages - 8 dependent repositories - 1.27 thousand downloads total - 6 stars on GitHub - 1 maintainer
finito 0.1.0.0
Please see the README on GitHub at https://github.com/typedbyte/finito#readme1 version - Latest release: about 4 years ago - 1 dependent repositories - 384 downloads total - 10 stars on GitHub - 1 maintainer