Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : fin
Nat, Fin, Vec
Registry
-
Source
- JSON
purl: pkg:hackage/fin
Keywords: bsd3, data, dependent-types, library, math, singletons
License: BSD-3-Clause
Latest release: over 2 years ago
First release: over 6 years ago
Dependent packages: 6
Dependent repositories: 13
Downloads: 11,709 total
Stars: 23 on GitHub
Forks: 11 on GitHub
Total Commits: 132
Committers: 7
Average commits per author: 18.857
Development Distribution Score (DDS): 0.045
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 13 days ago