Contributor analytics
Commits to 6e85f54aad19fae955f673fdb22600f5473bc5c5
Excluding merge commits. Limited to 6,000 commits. Commits
Shachar Itzhaky
724 commits (corwin.amber@gmail.com)
Commits
Emilio Jesus Gallego Arias
562 commits (e+git@x80.org)
Commits
Benoît Pin
63 commits (pin@cri.ensmp.fr)
Commits
Emilio Jesus Gallego Arias
49 commits (emilioga@cis.upenn.edu)
Commits
Benoit Pin
7 commits (pinbe@pau.cri.ensmp.fr)
Commits
Shachar Itzhaky
4 commits (shachari@knuth.csf.technion.ac.il)
Commits
dependabot[bot]
3 commits (49699333+dependabot[bot]@users.noreply.github.com)
Commits
Karl Palmskog
3 commits (palmskog@gmail.com)
Commits
Jean-Marie Madiot
1 commit (madiot@gmail.com)
Commits
Satyendra_Kumar_Banjare
1 commit (satyendrabanjare99@gmail.com)
Commits
Tej Chajed
1 commit (tchajed@mit.edu)
Commits
Gabriel Scherer
1 commit (gabriel.scherer@gmail.com)
Commits
Enrico
1 commit (gares@fettunta.org)
Commits