Contributor analytics
Commits to main
Excluding merge commits. Limited to 6,000 commits. Commits
Zdeněk Dvořák
13 commits (rakdver@iuuk.mff.cuni.cz)
Commits
Abhiruk Lahiri
9 commits (abhiruk@iuuk.mff.cuni.cz)
Commits
jane.tan
8 commits (jane.tan@maths.ox.ac.uk)
Commits
Daniel Gonçalves
7 commits (daniel.goncalves@lirmm.fr)
Commits
Torsten
3 commits (torsten.ueckerdt@kit.edu)
Commits
Zdenek Dvorak
1 commit (rakdver@kam.mff.cuni.cz)
Commits