Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to 828ae7105a17867425551795d69458852bc748c5

Excluding merge commits. Limited to 6,000 commits.
Number of commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSep201920202021202220232024
Commits
Avg: 157m · Max: 8

Dan Frumin

184 commits (dfrumin@cs.ru.nl)

Commits02468AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct201920202021202220232024
Commits
Avg: 86.8m · Max: 8

Ralf Jung

80 commits (jung@mpi-sws.org)

Commits02468AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct201920202021202220232024
Commits
Avg: 37.7m · Max: 4

Robbert Krebbers

57 commits (mail@robbertkrebbers.nl)

Commits02468AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct201920202021202220232024
Commits
Avg: 26.9m · Max: 3

Dan Frumin

10 commits (dan@groupoid.moe)

Commits02468AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct201920202021202220232024
Commits
Avg: 4.72m · Max: 2

Ralf Jung

1 commit (post@ralfj.de)

Commits02468AprJulOctAprJulOctAprJulOctAprJulOctAprJulOctAprJulOct201920202021202220232024
Commits
Avg: 472μ · Max: 1