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: 17 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: 16 days ago