Contributor analytics
Commits to acb4f6834136d87ad14d120a71071875f30f81a6
Excluding merge commits. Limited to 6,000 commits. Matthew Pickering
415 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)
Andres Loeh
5 commits (andres@well-typed.com)
Zubin Duggal
4 commits (zubin.duggal@gmail.com)
Teo Camarasu
4 commits (teofilcamarasu@gmail.com)
Alexander Vershilov
3 commits (alexander.vershilov@gmail.com)
Finley McIlwaine
2 commits (finleymcilwaine@gmail.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)