Contributor analytics
Commits to 6340f1543df782b7d72e46c200ccf7076fd96f92
Excluding merge commits. Limited to 6,000 commits. Commits
Antoine Kaufmann
99 commits (antoinek@mpi-sws.org)
Commits
Jakob Görgen
41 commits (jakob.gorgen1@gmx.de)
Commits
Jonas Kaufmann
33 commits (jokau03@gmail.com)
Commits
Marvin Meiers
9 commits (mmeiers@mpi-sws.org)
Commits
Jonas Kaufmann
6 commits (jkaufman@mpi-sws.org)
Commits
Hejing Li
3 commits (hejingli@mpi-sws.org)
Commits
Marvin Meiers
1 commit (m.mrs@protonmail.com)
Commits
Jakob Görgen
1 commit (jgoergen@mpi-sws.org)
Commits
Jakob Görgen
1 commit (64192734+q713@users.noreply.github.com)
Commits
Hejing Li
1 commit (hajeongee@gmail.com)
Commits