Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/ghc-typelits-presburger
Keywords: bsd3, library, math, type-system, compiler-plugin, dependent-types, ghc, ghc-plugin, haskell, presburger-arithmetic-solver, solver, type-level-programming
License: BSD-3-Clause
Latest release: 5 months ago
First release: almost 8 years ago
Dependent packages: 4
Dependent repositories: 9
Downloads: 7,902 total
Stars: 6 on GitHub
Forks: 6 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/konn
Last synced: 27 days ago
sized 1.1.0.1
17 versions - Latest release: 5 months ago - 8 dependent repositories - 5.55 thousand downloads total - 1 maintainertype-natural 1.3.0.1 💰
Type-level well-kinded natural numbers.48 versions - Latest release: 5 months ago - 2 dependent packages - 14 dependent repositories - 27.8 thousand downloads total - 33 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
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