Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / idris-lang / Idris-dev
A Dependently Typed Functional Programming Language
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev
Stars: 3,410
Forks: 643
Open Issues: 708
License: other
Language: Haskell
Repo Size: 36.5 MB
Dependencies:
0
Created: over 12 years ago
Updated: about 1 month ago
Last pushed: 5 months ago
Last synced: about 1 month ago
Commit Stats
Commits: 7490
Authors: 412
Mean commits per author: 18.18
Development Distribution Score: 0.769
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/idris-lang/Idris-dev
Files
No dependencies found