Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Z3Prover / z3
The Z3 Theorem Prover
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Z3Prover%2Fz3
Stars: 9,751
Forks: 1,441
Open Issues: 142
License: other
Language: C++
Repo Size: 126 MB
Dependencies:
0
Created: about 9 years ago
Updated: about 21 hours ago
Last pushed: about 19 hours ago
Last synced: about 17 hours ago
Commit Stats
Commits: 15684
Authors: 315
Mean commits per author: 49.79
Development Distribution Score: 0.429
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/Z3Prover/z3
Files
No dependencies found