Contributor analytics
Commits to 50db38f1def88022318a70bf8b916a2c4e8f1d42
Excluding merge commits. Limited to 6,000 commits. Commits
François Pottier
256 commits (francois.pottier@inria.fr)
Commits
Didier Rémy
109 commits (didier.remy@inria.fr)
Commits
Pierre-Evariste Dagand
65 commits (pierre-evariste.dagand@lip6.fr)
Commits
Yann Regis-Gianas
27 commits (yrg@irif.fr)
Commits
Jacques-Henri Jourdan
25 commits (jacques-henri.jourdan@cnrs.fr)
Commits
Gabriel Scherer
23 commits (gabriel.scherer@gmail.com)
Commits
Jacques-Henri Jourdan
21 commits (jacques-henri.jourdan@normalesup.org)
Commits
Pierre-Évariste Dagand
10 commits (doc@evr.ist)
Commits
Pierre-Évariste Dagand
9 commits (dagand@irif.fr)
Commits
SCHERER Gabriel
1 commit (gabriel.scherer@inria.fr)
Commits