Contributor analytics
Commits to 18b8bfcf2904242952ddb9c9cf2e7d1e6c19511c
Excluding merge commits. Limited to 6,000 commits. Commits
Ralf Jung
217 commits (jung@mpi-sws.org)
Commits
Lennard Gäher
155 commits (l.gaeher@posteo.de)
Commits
Johannes Hostert
149 commits (jhostert@ethz.ch)
Commits
Neven Villani
112 commits (vanille@crans.org)
Commits
Simon Spies
63 commits (simonspies@icloud.com)
Commits
Vanille-N
50 commits (neven.villani@crans.org)
Commits
Michael Sammler
45 commits (noreply@sammler.me)
Commits
Hoang-Hai Dang
26 commits (haidang@mpi-sws.org)
Commits
Robbert Krebbers
17 commits (mail@robbertkrebbers.nl)
Commits
Neven Villani
3 commits (neven@mpi-sws.org)
Commits
Johannes Hostert
1 commit (johannesmatthias.hostert@inf.ethz.ch)
Commits