Contributor analytics
Commits to jakob-main
Excluding merge commits. Limited to 6,000 commits. Commits
Markus Pfeiffer
29 commits (markus.pfeiffer@morphism.de)
Commits
m-iancu
14 commits (mihnea.iancu88@gmail.com)
Commits
Dennis Müller
10 commits (d.mueller@jacobs-university.de)
Commits
Michael Kohlhase
5 commits (m.kohlhase@jacobs-university.de)
Commits
Jakob Albert
4 commits (jakob.j.albert@fau.de)
Commits
Michael Kohlhase
1 commit (michael.kohlhase@fau.de)
Commits
Michael Torpey
1 commit (mct25@st-andrews.ac.uk)
Commits
Markus Pfeiffer
1 commit (markus.pfeiffer@st-andrews.ac.uk)
Commits
Tom Wiesing
1 commit (tom.wiesing@fau.de)
Commits
Michael Kohlhase
1 commit (kohlhase@kwarc.info)
Commits
Nicolas M. Thiéry
1 commit (nthiery@users.sf.net)
Commits
Tom Wiesing
1 commit (tkw01536@gmail.com)
Commits
Dennis Müller
1 commit (dennis.mueller@mars.uni-freiburg.de)
Commits
Mihnea Iancu
1 commit (m.iancu@jacobs-university.de)
Commits