Contributor analytics
Commits to main
Excluding merge commits. Limited to 6,000 commits. Commits
Antoine Kaufmann
108 commits (antoinek@mpi-sws.org)
Commits
Jakob Görgen
75 commits (jakob.gorgen1@gmx.de)
Commits
Jonas Kaufmann
33 commits (jokau03@gmail.com)
Commits
Marvin Meiers
15 commits (mmeiers@mpi-sws.org)
Commits
Jonas Kaufmann
13 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