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: 29

Created: over 8 years ago
Updated: 2 days ago
Last pushed: 11 days ago
Last synced: 11 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
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/c.yml actions
    .github/workflows/coq-macos.yml actions
    .github/workflows/coq-opam-package.yml actions
    .github/workflows/coq-windows.yml actions
    .github/workflows/coq.yml actions
    .github/workflows/docker-coq.yml actions
    .github/workflows/go.yml actions
    .github/workflows/java.yml actions
    .github/workflows/json.yml actions
    .github/workflows/publish.yml actions
    .github/workflows/rust.yml actions
    .github/workflows/zig.yml actions