GitHub / tlaplus/Examples committers
A collection of TLA⁺ specifications of varying complexities.
Last synced: 5 days ago
Total Commits: 455
Total Committers: 51
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 8.922
Development Distribution Score (DDS): 0.532
Total Committers: 51
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 8.922
Development Distribution Score (DDS): 0.532
Commits in the past year: 58
Committers in the past year: 8
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 7.25
Development Distribution Score (DDS) in the past year: 0.552
Committers in the past year: 8
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 7.25
Development Distribution Score (DDS) in the past year: 0.552
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/tlaplus/Examples
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FExamples
| Name | Commits | |
|---|---|---|
| Markus Alexander Kuppe | g****m@l****e | 213 |
| Andrew Helwer | 2****f@m****m | 102 |
| merz | s****z@l****r | 42 |
| Thanh Hai Tran | t****2@g****m | 13 |
| Giuliano Losa | g****o@l****r | 7 |
| Martin | m****y@l****t | 5 |
| Mariusz Ryndzionek | m****k@g****m | 4 |
| stary | s****i@q****m | 4 |
| Martin | r****k@g****m | 4 |
| lamport | l****t@f****m | 4 |
| HappyCS-Gu | 1****3@1****m | 3 |
| Konstantin Läufer | l****r@c****u | 3 |
| Leslie Lamport | l****t@f****b | 3 |
| Andrei Tonkikh | a****h@g****m | 3 |
| xxyzzn | x****n | 2 |
| Nicholas Schultz-Møller | n****m@g****m | 2 |
| Florian Schanda | f****a@n****m | 2 |
| Alexander Niederbühl | a****l@g****m | 2 |
| Igor Konnov | i****v@g****m | 2 |
| Isaac-DeFrain | i****n@g****m | 2 |
| Murat Demirbas | m****b@a****m | 2 |
| Murat Demirbas | m****m | 2 |
| Leslie Lamport | f****n@t****b | 1 |
| Martin Langhaus | m****n@e****t | 1 |
| TypeDefinition | l****y@g****m | 1 |
| Vasily Kuznetsov | v****v@t****u | 1 |
| Younes | d****v@y****o | 1 |
| postmasters | n****n@g****m | 1 |
| neoschizomer | 6****r | 1 |
| melhindi | m****i | 1 |
| loki der quaeler | l****i@t****t | 1 |
| cjen1 | c****9@c****k | 1 |
| Yuqi Zhang | c****g@q****m | 1 |
| Tim Soethout | g****b@t****l | 1 |
| Sergey Bronnikov | e****s@g****m | 1 |
| Ron Pressler | p****n | 1 |
| Novemser | 2****2@q****m | 1 |
| Luming Dong | d****g@z****n | 1 |
| Lorin Hochstein | l****h@g****m | 1 |
| Kirill | f****m@g****m | 1 |
| Josef Widder | 4****r | 1 |
| Jeff Hemphill | j****l@g****m | 1 |
| Jay Parlar | p****r@g****m | 1 |
| JarodDif | 4****f | 1 |
| JYwellin | J****n | 1 |
| Guanzhou Hu | 3****7 | 1 |
| George Pîrlea | g****e@p****t | 1 |
| Geoffrey Huntley | g****y@g****m | 1 |
| Eugene Huang | e****e@g****m | 1 |
| Damien Doligez | d****z@i****r | 1 |
| Calvin Loncaric | m****3@g****m | 1 |
Excludes empty and merge commits.
| Name | Commits | |
|---|---|---|
| Andrew Helwer | a****r@p****e | 26 |
| Markus Alexander Kuppe | g****m@l****e | 16 |
| Stephan Merz | m****l | 8 |
| Konstantin Läufer | l****r@c****u | 3 |
| Florian Schanda | f****a@n****m | 2 |
| Lorin Hochstein | l****h@g****m | 1 |
| JarodDif | 4****f | 1 |
| Giuliano Losa | g****o@l****r | 1 |
Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.