Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 8.4% downloads on hackage.haskell.org
hackage.haskell.org : EdisonAPI
Registry
- Homepage
- JSON
purl: pkg:hackage/EdisonAPI
Keywords: data-structures, library, mit
License: MIT
Latest release: over 1 year ago
First release: over 17 years ago
Dependent packages: 2
Dependent repositories: 15
Downloads: 17,238 total
Last synced: 2 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