Contributor analytics
Commits to f5bf3f84b6ba801741a386f9e1d68a7c8f0ea76d
Excluding merge commits. Limited to 6,000 commits. Commits
Jonas Kastberg Hinrichsen
248 commits (jihgfee@gmail.com)
Commits
Robbert Krebbers
232 commits (mail@robbertkrebbers.nl)
Commits
jihgfee
97 commits (jkas@itu.dk)
Commits
Ralf Jung
69 commits (jung@mpi-sws.org)
Commits
Daniël Louwrink
20 commits (daniel.louwrink@gmail.com)
Commits
Ralf Jung
10 commits (post@ralfj.de)
Commits
Robbert
5 commits (gitlab-sws@robbertkrebbers.nl)
Commits
tlsomers
1 commit (thosomers@gmail.com)
Commits
Jonas Kastberg Hinrichsen
1 commit (au688989@d45276.eduroam.net.au.dk)
Commits