Contributor analytics
Commits to 4fd7d3250395d9544f5e478b9570b7b03257cba8
Excluding merge commits. Limited to 6,000 commits. Commits
Thibault Allançon
186 commits (haltode@gmail.com)
Commits
Stefano Zacchiroli
143 commits (zack@upsilon.cc)
Commits
Antoine Pietri
44 commits (antoine.pietri1@gmail.com)
Commits
Antoine Lambert
1 commit (antoine.lambert@inria.fr)
Commits