Ecosyste.ms: Commits

An open API service providing commit metadata for open source projects.

GitHub : coq repositories

coq/rfcs

Branch: master
Total Commits: 101
Total Committers: 21
Avg Commits per committer: 4.81
Development Distribution Score (DDS): 0.851
Last synced: 4 months ago

coq/coq-on-cachix

Branch: master
Total Commits: 30,807
Total Committers: 236
Avg Commits per committer: 130.538
Development Distribution Score (DDS): 0.741
Last synced: 4 months ago

coq/repo-unstable-disabled

Branch: master
Total Commits: 264
Total Committers: 11
Avg Commits per committer: 24.0
Development Distribution Score (DDS): 0.284
Last synced: 4 months ago

coq/repo-stable-disabled

Branch: master
Total Commits: 238
Total Committers: 14
Avg Commits per committer: 17.0
Development Distribution Score (DDS): 0.231
Last synced: 4 months ago

coq/coq-bench

Branch: master
Total Commits: 171
Total Committers: 10
Avg Commits per committer: 17.1
Development Distribution Score (DDS): 0.357
Last synced: 4 months ago

coq/bot

Branch: master
Total Commits: 839
Total Committers: 13
Avg Commits per committer: 64.538
Development Distribution Score (DDS): 0.471
Last synced: 4 months ago

coq/roadmaps

Branch: master
Total Commits: 52
Total Committers: 8
Avg Commits per committer: 6.5
Development Distribution Score (DDS): 0.365
Last synced: 4 months ago

coq/platform

Branch: main
Total Commits: 1,150
Total Committers: 25
Avg Commits per committer: 46.0
Development Distribution Score (DDS): 0.154
Last synced: 4 months ago

coq/repo-coqs-disabled

Branch: master
Total Commits: 80
Total Committers: 7
Avg Commits per committer: 11.429
Development Distribution Score (DDS): 0.488
Last synced: 4 months 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: 4 months 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: 4 months ago

coq/doc

Branch: master
Total Commits: 4,654
Total Committers: 6
Avg Commits per committer: 775.667
Development Distribution Score (DDS): 0.009
Last synced: 4 months ago

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: 4 months ago

coq/coq.github.io

Branch: master
Total Commits: 1,544
Total Committers: 66
Avg Commits per committer: 23.394
Development Distribution Score (DDS): 0.716
Last synced: 4 months ago

coq/opam-coq-shell

Branch: master
Total Commits: 18
Total Committers: 2
Avg Commits per committer: 9.0
Development Distribution Score (DDS): 0.056
Last synced: 4 months ago

coq/opam

Branch: master
Total Commits: 5,252
Total Committers: 223
Avg Commits per committer: 23.552
Development Distribution Score (DDS): 0.804
Last synced: 5 months ago

coq/coq

Branch: master
Total Commits: 36,485
Total Committers: 321
Avg Commits per committer: 113.66
Development Distribution Score (DDS): 0.761
Last synced: 5 months ago

coq/ltac2

Branch: master
Total Commits: 316
Total Committers: 17
Avg Commits per committer: 18.588
Development Distribution Score (DDS): 0.177
Last synced: 5 months ago