GitHub / agda / agda-stdlib
The Agda standard library
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib
PURL: pkg:github/agda/agda-stdlib
Stars: 624
Forks: 256
Open issues: 320
License: other
Language: Agda
Size: 572 MB
Dependencies parsed at: Pending
Created at: over 11 years ago
Updated at: 7 days ago
Pushed at: about 1 month ago
Last synced at: 1 day ago
Commit Stats
Commits: 3051
Authors: 157
Mean commits per author: 19.43
Development Distribution Score: 0.612
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/agda/agda-stdlib
Loading...