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

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 Email 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.