Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / math-comp / math-comp

Mathematical Components

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/math-comp%2Fmath-comp

Stars: 548
Forks: 110
Open Issues: 133

License: None
Language: Coq
Repo Size: 14.9 MB
Dependencies: 1

Created: about 9 years ago
Updated: 25 days ago
Last pushed: about 1 month ago
Last synced: about 1 month ago

Commit Stats

Commits: 1152
Authors: 47
Mean commits per author: 24.51
Development Distribution Score: 0.697
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/math-comp/math-comp

Topics: coq, mathcomp, ssreflect

Files
    Loading...
    Readme
    Loading...
    Dependencies
    Dockerfile docker