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

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: 5 days ago

phadej

208 packages
8,176,583 downloads