GitHub / UniMath/agda-unimath committers
Last synced: over 1 year ago
Total Commits: 2,095
Total Committers: 46
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 45.543
Development Distribution Score (DDS): 0.434
Total Committers: 46
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 45.543
Development Distribution Score (DDS): 0.434
Commits in the past year: 715
Committers in the past year: 21
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 34.048
Development Distribution Score (DDS) in the past year: 0.614
Committers in the past year: 21
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 34.048
Development Distribution Score (DDS) in the past year: 0.614
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/UniMath/agda-unimath
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/UniMath%2Fagda-unimath
| Name | Commits | |
|---|---|---|
| Egbert Rijke | e****e@g****m | 1185 |
| Fredrik Bakke | f****k@g****m | 281 |
| Léo Mangel | l****a@g****m | 110 |
| Elisabeth Bonnevier | e****r@u****o | 86 |
| Jonathan Cubides | j****s@u****o | 61 |
| Vojtěch Štěpančík | v****k@o****m | 46 |
| Raymond Baker | r****r@g****m | 35 |
| Bryan Lu | b****3@g****m | 34 |
| Tom de Jong | 4****g | 30 |
| fernando | f****v@g****m | 28 |
| ElifUskuplu | 7****u | 25 |
| Raymond Baker | 9****z | 21 |
| VictorBlanchi | 7****i | 18 |
| Ian Ray | i****5@g****m | 17 |
| Andreas Källberg | a****3@g****m | 16 |
| Matej Jazbec | j****j@o****m | 12 |
| malarbol | m****t@g****m | 11 |
| Amélia Liao | m****e@a****w | 10 |
| Elisabeth Bonnevier | e****h@b****e | 10 |
| Eléonore Mangel | e****l@g****m | 8 |
| Daniel Gratzer | d****r@g****m | 7 |
| maybemabeline | 1****e | 6 |
| Ivan Kobe | i****e@g****m | 5 |
| Fernando Chu | 1****u | 5 |
| Elisabeth Bonnevier | 5****r | 2 |
| Alec Barreto | 1****4 | 2 |
| favonia | f****a@g****m | 2 |
| Ulrik Buchholtz | u****z@g****m | 2 |
| Masa Zaucer | m****r@s****i | 2 |
| Alice Laroche | a****s@g****m | 2 |
| Aqissiaq | a****q@g****m | 1 |
| Dylan Braithwaite | d****1@g****m | 1 |
| Emily Riehl | e****l@m****u | 1 |
| Erik Schnetter | s****r@g****m | 1 |
| szumixie | 3****e | 1 |
| louismntnu | 9****u | 1 |
| IanRay11 | 7****1 | 1 |
| Gregor Perčič | 1****c | 1 |
| Elisabeth Stenholm | 5****m | 1 |
| EleonoreMangel | 9****l | 1 |
| Håkon Gylterud | h****d@u****o | 1 |
| Matthias Hutzler | m****r@p****t | 1 |
| Nathan van Doorn | n****4@g****m | 1 |
| Pierre Cagne | p****e@g****m | 1 |
| Szumi Xie | s****e@g****m | 1 |
| Tom de Jong | t****c@g****m | 1 |
Excludes empty and merge commits.
| Name | Commits | |
|---|---|---|
| Fredrik Bakke | f****k@g****m | 276 |
| Egbert Rijke | e****e@g****m | 244 |
| Vojtěch Štěpančík | v****k@o****m | 46 |
| Jonathan Cubides | j****s@u****o | 31 |
| Tom de Jong | 4****g | 30 |
| Raymond Baker | 9****z | 20 |
| VictorBlanchi | 7****i | 18 |
| Fernando Chu | f****v@g****m | 13 |
| Raymond Baker | r****r@g****m | 10 |
| maybemabeline | 1****e | 6 |
| Fernando Chu | 1****u | 5 |
| ElifUskuplu | 7****u | 4 |
| Ulrik Buchholtz | u****z@g****m | 2 |
| Elisabeth Bonnevier | 5****r | 2 |
| Alec Barreto | 1****4 | 2 |
| EleonoreMangel | 9****l | 1 |
| Elisabeth Stenholm | 5****m | 1 |
| Gregor Perčič | 1****c | 1 |
| louismntnu | 9****u | 1 |
| Emily Riehl | e****l@m****u | 1 |
| Matthias Hutzler | m****r@p****t | 1 |
Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.