Contributor analytics
Commits to 028dbedc2a448ab9a885de1b9f026011dd7a26af
Excluding merge commits. Limited to 6,000 commits. Commits
François Pottier
244 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
22 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