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
, Propose Tags
, compiler-plugin
, dependent-types
, ghc
, ghc-plugin
, haskell
, presburger-arithmetic-solver
, solver
, type-level-programming
License: BSD-3-Clause
Latest release: 8 days ago
First release: over 5 years ago
Dependent packages: 3
Dependent repositories: 8
Downloads: 1,663 total
Stars: 9 on GitHub
Forks: 6 on GitHub
Total Commits: 202
Committers: 2
Average commits per author: 101.0
Development Distribution Score (DDS): 0.109
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/konn
Last synced: 6 days ago