Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 6.3% downloads on hackage.haskell.org
hackage.haskell.org : EdisonCore
Registry
- Homepage
- JSON
purl: pkg:hackage/EdisonCore
Keywords: data-structures, library, mit
License: MIT
Latest release: over 1 year ago
First release: over 17 years ago
Dependent packages: 1
Dependent repositories: 16
Downloads: 22,761 total
Last synced: 8 days ago
Top 4.2% on hackage.haskell.org
42 versions - Latest release: 8 months ago - 6 dependent packages - 61 dependent repositories - 60.6 thousand downloads total - 4 maintainers
Agda 2.6.4
Agda is a dependently typed functional programming language: It has inductive families, which are...42 versions - Latest release: 8 months ago - 6 dependent packages - 61 dependent repositories - 60.6 thousand downloads total - 4 maintainers