Contributor analytics
Commits to tree-borrows-trees-equal
Excluding merge commits. Limited to 6,000 commits. Commits
Ralf Jung
198 commits (jung@mpi-sws.org)
Commits
Lennard Gäher
155 commits (l.gaeher@posteo.de)
Commits
Neven Villani
96 commits (vanille@crans.org)
Commits
Johannes Hostert
82 commits (jhostert@ethz.ch)
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
13 commits (mail@robbertkrebbers.nl)
Commits
Neven Villani
3 commits (neven@mpi-sws.org)
Commits