Ecosyste.ms: Packages

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

Top 4.0% dependent packages on hackage.haskell.org

hackage.haskell.org : singletons-presburger

Presburger arithmetic solver for built-in type-level naturals

Registry - Source - Homepage - JSON
purl: pkg:hackage/singletons-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: over 4 years ago
Dependent packages: 3
Dependent repositories: 8
Downloads: 1,295 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: about 4 hours ago