Contributor analytics
Commits to e572e36c9fa38e2c363ee83a10ebe2b477d5fe83
Excluding merge commits. Limited to 6,000 commits. Matthew Pickering
451 commits (matthewtpickering@gmail.com)
Ben Gamari
27 commits (ben@smart-cactus.org)
Sven Tennie
27 commits (sven.tennie@gmail.com)
David Eichmann
24 commits (eichmannd@gmail.com)
Zubin Duggal
21 commits (zubin.duggal@gmail.com)
Fendor
10 commits (power.walross@gmail.com)
Andres Loeh
5 commits (andres@well-typed.com)
Teo Camarasu
4 commits (teofilcamarasu@gmail.com)
Fendor
3 commits (fendor@posteo.de)
Alexander Vershilov
3 commits (alexander.vershilov@gmail.com)
Finley McIlwaine
2 commits (finleymcilwaine@gmail.com)
Teo Camarasu
1 commit (teo.camarasu@tracsis.com)
mu
1 commit (laxcatmu@gmail.com)
Adam Gundry
1 commit (adam@well-typed.com)
Andreas Klebinger
1 commit (klebinger.andreas@gmx.at)
Douglas Wilson
1 commit (douglas.wilson@gmail.com)
Jan Hrček
1 commit (honza.hrk@gmail.com)
Ian-Woo Kim
1 commit (ianwookim@gmail.com)
Joris Dral
1 commit (joris@well-typed.com)
Ryan Scott
1 commit (rscott@galois.com)
Ryan Scott
1 commit (ryan.gl.scott@gmail.com)
Ethan Kiang
1 commit (chocopuff298@gmail.com)
Brandon Simmons
1 commit (brandon.m.simmons@gmail.com)
Joachim Breitner
1 commit (mail@joachim-breitner.de)
Oliver Breitwieser
1 commit (oliver.breitwieser@kip.uni-heidelberg.de)