Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / mit-plv / fiat-crypto
Cryptographic Primitive Code Generation by Fiat
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto
Stars: 686
Forks: 144
Open Issues: 146
License: other
Language: Coq
Repo Size: 164 MB
Dependencies:
0
Created: over 8 years ago
Updated: 21 days ago
Last pushed: 29 days ago
Last synced: 29 days ago
Commit Stats
Commits: 7435
Authors: 44
Mean commits per author: 168.98
Development Distribution Score: 0.357
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/mit-plv/fiat-crypto
Files
No dependencies found