Ecosyste.ms: Commits
An open API service providing commit metadata for open source projects.
GitHub / ucsd-progsys/liquid-fixpoint committers
Last synced: over 1 year ago
Total Commits: 3,286
Total Committers: 52
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 63.192
Development Distribution Score (DDS): 0.488
Total Committers: 52
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 63.192
Development Distribution Score (DDS): 0.488
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/ucsd-progsys/liquid-fixpoint
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint
Name | Commits | |
---|---|---|
Ranjit Jhala | j****a@c****u | 1682 |
nikivazou | n****u@g****m | 409 |
Benjamin Cosman | b****n@c****u | 222 |
Facundo Domínguez | f****z@t****o | 222 |
Eric Seidel | g****e@g****m | 141 |
Phil de Joux | p****t@g****m | 110 |
Anish Tondwalkar | a****h@a****o | 82 |
Zack Grannan | z****n@p****m | 47 |
Chris Tetreault | c****s@d****m | 46 |
michaelborkowski | m****i@u****u | 30 |
curiousleo | c****o@u****m | 29 |
Zack Grannan | z****n@g****m | 29 |
Alan Zimmerman | a****m@g****m | 24 |
Matt Walker | m****r@g****m | 19 |
Panagiotis Vekris | p****s@c****u | 17 |
Ranjit Jhala | r****a@e****u | 17 |
Niki Vazou | n****i@a****m | 16 |
mkolosick | m****t@k****m | 15 |
Anish Tondwalkar | a****l@u****u | 14 |
Alfredo Di Napoli | a****o@w****m | 14 |
niki | n****i@n****L | 14 |
Quentin Aristote | q****n@a****r | 10 |
Michael Smith | m****l@d****m | 8 |
Eric Seidel | g****b@e****o | 7 |
Eric Seidel | e****c@s****o | 6 |
PLR | 5****d@u****m | 5 |
Alfredo Di Napoli | a****i@g****m | 5 |
Boris Shingarov | s****v@l****m | 4 |
Alejandro Serrano | t****l@g****m | 4 |
Ranjit Jhala | R****a | 3 |
Rolph Recto | r****o@g****m | 3 |
Georgi Lyubenov | g****e@g****m | 3 |
Andrew Martin | a****s@g****m | 3 |
Nathan Waivio | n****o@g****m | 2 |
Anish Tondwalkar | t****k@g****m | 2 |
Peter Simons | s****s@c****o | 2 |
Michael Smith | m****l@s****t | 2 |
Facundo Domínguez | f****z@g****m | 2 |
Yiyun Liu | l****n@t****u | 2 |
Andres Loeh | a****s@w****m | 2 |
Jordan Woehr | j****r@g****m | 1 |
Oleg Grenrus | o****s@i****i | 1 |
Eric Seidel | e****l@c****u | 1 |
Alexander Bakst | a****t@c****u | 1 |
Matt Walker | m****r@t****o | 1 |
gabrielhdt | g****t@u****m | 1 |
michaelbeaumont | m****l@g****m | 1 |
Anish Tondwalkar | a****r@g****m | 1 |
Michael Borkowski | 4****i@u****m | 1 |
Panagiotis Vekris | p****7@u****m | 1 |
bmcfluff | b****f@g****m | 1 |
Afonso | a****l@s****t | 1 |
Excludes empty and merge commits.
This repository has not had the past years commits calculated yet. This may take a few minutes.