GitHub / gap-packages/certification committers
Certificates for theorem provers
Last synced: 2 months ago
Total Commits: 79
Total Committers: 3
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 26.333
Development Distribution Score (DDS): 0.532
Total Committers: 3
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 26.333
Development Distribution Score (DDS): 0.532
Commits in the past year: 8
Committers in the past year: 1
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 8.0
Development Distribution Score (DDS) in the past year: 0.0
Committers in the past year: 1
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 8.0
Development Distribution Score (DDS) in the past year: 0.0
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/gap-packages/certification
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/gap-packages%2Fcertification
| Name | Commits | |
|---|---|---|
| Olexandr Konovalov | o****v | 37 |
| Andrej Bauer | A****r@a****m | 31 |
| Max Horn | m****x@q****e | 11 |
Excludes empty and merge commits.
| Name | Commits | |
|---|---|---|
| Max Horn | m****x@q****e | 8 |
Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.