Contributor analytics
Commits to popl22-artifact
Excluding merge commits. Limited to 6,000 commits. Commits
Lennard Gäher
174 commits (l.gaeher@posteo.de)
Commits
Ralf Jung
141 commits (jung@mpi-sws.org)
Commits
Simon Spies
64 commits (simonspies@icloud.com)
Commits
Michael Sammler
45 commits (noreply@sammler.me)
Commits
Hoang-Hai Dang
26 commits (haidang@mpi-sws.org)
Commits
Robbert Krebbers
3 commits (mail@robbertkrebbers.nl)
Commits