Contributor analytics
Commits to johns_playground
Excluding merge commits. Limited to 6,000 commits. Commits
Dennis Müller
86 commits (d.mueller@jacobs-university.de)
Commits
Florian Rabe
14 commits (florian.rabe@gmail.com)
Commits
Michael Kohlhase
9 commits (m.kohlhase@jacobs-university.de)
Commits
Dennis Müller
7 commits (d.mueller@kwarc.info)
Commits
Michael Kohlhase
7 commits (michael.kohlhase@fau.de)
Commits
ComFreek
6 commits (comfreek@outlook.com)
Commits
Colin Rothgang
5 commits (colin.rothgang@gmx.de)
Commits
Max Rapp
3 commits (maxgrapp@googlemail.com)
Commits
Student-A
3 commits (ai.aleryani@jacobs-university.de)
Commits
Freifrau von Bleifrei
3 commits (theresa.pollinger@fau.de)
Commits
https://gl.mathhub.info/SESch93
2 commits (john.schihada@hotmail.com)
Commits
Yufei Liu
2 commits (yu.liu@jacobs-university.de)
Commits
Navid Roux
1 commit (navid.roux@fau.de)
Commits
Tom Wiesing
1 commit (tom.wiesing@fau.de)
Commits
Paul-Olivier Dehaye
1 commit (paulolivier@gmail.com)
Commits
Tom Wiesing
1 commit (tkw01536@gmail.com)
Commits
Michael Kohlhase
1 commit (kohlhase@kwarc.info)
Commits