Mentions légales du service

Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
  • anonymous
  • master default protected
  • POPL2024submission
3 results
History

Commits to anonymous

Excluding merge commits. Limited to 6,000 commits.
Number of commits010203040506070SepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul20192020202120222023
Commits
Avg: 205m · Max: 66

François Pottier

217 commits (francois.pottier@inria.fr)

Commits010203040506066OctAprJulOctAprJulOctAprJulOctAprJulOctAprJul20192020202120222023
Commits
Avg: 118m · Max: 66

Jacques-Henri Jourdan

52 commits (jacques-henri.jourdan@normalesup.org)

Commits010203040506066OctAprJulOctAprJulOctAprJulOctAprJulOctAprJul20192020202120222023
Commits
Avg: 28.4m · Max: 4

Glen Mével

51 commits (glen.mevel@inria.fr)

Commits010203040506066OctAprJulOctAprJulOctAprJulOctAprJulOctAprJul20192020202120222023
Commits
Avg: 27.8m · Max: 10

Ralf Jung

26 commits (jung@mpi-sws.org)

Commits010203040506066OctAprJulOctAprJulOctAprJulOctAprJulOctAprJul20192020202120222023
Commits
Avg: 14.2m · Max: 2

Armaël Guéneau

17 commits (armael.gueneau@ens-lyon.org)

Commits010203040506066OctAprJulOctAprJulOctAprJulOctAprJulOctAprJul20192020202120222023
Commits
Avg: 9.27m · Max: 5

Jacques-Henri Jourdan

7 commits (jacques-henri.jourdan@cnrs.fr)

Commits010203040506066OctAprJulOctAprJulOctAprJulOctAprJulOctAprJul20192020202120222023
Commits
Avg: 3.82m · Max: 2

Ralf Jung

6 commits (post@ralfj.de)

Commits010203040506066OctAprJulOctAprJulOctAprJulOctAprJulOctAprJul20192020202120222023
Commits
Avg: 3.27m · Max: 3