Ecosyste.ms: Commits
An open API service providing commit metadata for open source projects.
GitHub : coq repositories
coq/platform-docs
Branch: main
Total Commits: 66
Total Committers: 9
Avg Commits per committer: 7.333
Development Distribution Score (DDS): 0.576
Last synced: 5 minutes ago
coq/prerequisites
Branch: main
Total Commits: 1
Total Committers: 1
Avg Commits per committer: 1.0
Development Distribution Score (DDS): 0.0
Last synced: 7 minutes ago
coq/repo-8.5
Branch: master
Total Commits: 19
Total Committers: 4
Avg Commits per committer: 4.75
Development Distribution Score (DDS): 0.368
Last synced: 9 minutes ago
coq/coq.github.io
Branch: master
Total Commits: 1,537
Total Committers: 65
Avg Commits per committer: 23.646
Development Distribution Score (DDS): 0.714
Last synced: about 12 hours ago