Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 7.9% downloads on hackage.haskell.org
Top 4.6% dependent packages on hackage.haskell.org
Top 4.6% dependent packages on hackage.haskell.org
hackage.haskell.org : dec
Decidable propositions
Registry
-
Source
- JSON
purl: pkg:hackage/dec
Keywords: bsd3, data, dependent-types, library
License: BSD-3-Clause
Latest release: 6 days ago
First release: almost 5 years ago
Dependent packages: 4
Dependent repositories: 11
Downloads: 18,959 total
Stars: 4 on GitHub
Forks: 3 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago
boring 0.2.2
Boring and Absurd types8 versions - Latest release: 6 days ago - 6 dependent packages - 10 dependent repositories - 11 thousand downloads total - 15 stars on GitHub - 1 maintainer
singleton-bool 0.1.7
Type level booleans8 versions - Latest release: about 1 year ago - 6 dependent packages - 31 dependent repositories - 27.1 thousand downloads total - 6 stars on GitHub - 1 maintainer
bin 0.1.3
Nat, Fin, Vec4 versions - Latest release: about 1 year ago - 1 dependent package - 6 dependent repositories - 7.26 thousand downloads total - 23 stars on GitHub - 1 maintainer
fin 0.2.1
Nat, Fin, Vec9 versions - Latest release: over 2 years ago - 6 dependent packages - 13 dependent repositories - 11.7 thousand downloads total - 23 stars on GitHub - 1 maintainer