Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / edwinb / Idris2-boot
A dependently typed programming language, a successor to Idris
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/edwinb%2FIdris2-boot
Stars: 906
Forks: 57
Open Issues: 76
License: other
Language: Idris
Repo Size: 3.25 MB
Dependencies:
0
Created: over 5 years ago
Updated: 4 months ago
Last pushed: almost 4 years ago
Last synced: 3 months ago
Files
Loading...
Readme
Loading...
No dependencies found