Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
  • master default protected
  • pr/no-warnings
  • unsaturated_type_families
  • 0.8.6.0
  • 0.10.0.0
  • 0.8.5.1
  • 0.8.5.0
  • 0.9.0.0
  • 0.8.4.1
  • 0.8.4.0
  • 0.8.3.0
  • 0.8.2.1
  • 0.8.2.0
  • 0.8.1.0
  • 0.8.0.1
  • 0.8.0.0
  • 0.7.6.1
  • 0.7.6.0
  • 0.7.5.0
  • 0.7.4.0
  • 0.7.3.0
  • 0.7.2.3
  • 0.7.2.2
23 results
History

Commits to master

Excluding merge commits. Limited to 6,000 commits.
Number of commits01020304050JulJulJulJulJulJulJulJulJulJulJulJul2007200820092010201120122013201420152016201720182019
Commits
Avg: 173m · Max: 42

Lennart Kolmodin

226 commits (kolmodin@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 50.6m · Max: 14

Don Stewart

129 commits (dons@cse.unsw.edu.au)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 28.9m · Max: 26

Lennart Kolmodin

74 commits (kolmodin@dtek.chalmers.se)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 16.6m · Max: 17

Lennart Kolmodin

68 commits (kolmodin@google.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 15.2m · Max: 5

Don Stewart

44 commits (dons@galois.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 9.85m · Max: 9

Johan Tibell

33 commits (johan.tibell@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 7.39m · Max: 8

Lennart Kolmodin

28 commits (kolmodin@gentoo.org)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 6.27m · Max: 22

Duncan Coutts

22 commits (duncan.coutts@worc.ox.ac.uk)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 4.93m · Max: 6

Spencer Janssen

18 commits (sjanssen@cse.unl.edu)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 4.03m · Max: 10

Daniel Díaz

13 commits (dhelta.diaz@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 2.91m · Max: 4

Ross Paterson

10 commits (ross@soi.city.ac.uk)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 2.24m · Max: 3

Bryan O'Sullivan

8 commits (bryano@fb.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 1.79m · Max: 8

Herbert Valerio Riedel

7 commits (hvr@gnu.org)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 1.57m · Max: 3

bjorn

7 commits (bjorn@bringert.net)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 1.57m · Max: 3

Ben Gamari

6 commits (ben@smart-cactus.org)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 1.34m · Max: 1

Alexey Khudyakov

6 commits (alexey.skladnoy@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 1.34m · Max: 3

Oleg Grenrus

5 commits (oleg.grenrus@iki.fi)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 1.12m · Max: 3

Mikhail Glushenkov

4 commits (mikhail.glushenkov@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 895μ · Max: 4

Lemmih

4 commits (lemmih@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 895μ · Max: 4

Mathieu Boespflug

3 commits (m@tweag.io)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 672μ · Max: 2

simonpj

3 commits (simonpj@microsoft.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 672μ · Max: 2

Spencer Janssen

3 commits (spencerjanssen@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 672μ · Max: 2

Bryan O'Sullivan

3 commits (bos@serpentine.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 672μ · Max: 2

Alec Theriault

2 commits (alec.theriault@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 448μ · Max: 1

Gabor Greif

2 commits (ggreif@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 448μ · Max: 1

Vladislav Zavialov

2 commits (vlad.z.4096@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 448μ · Max: 2

Ryan Scott

2 commits (ryan.gl.scott@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 448μ · Max: 1

Francesco Mazzoli

2 commits (f@mazzo.li)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 448μ · Max: 2

Paolo Capriotti

2 commits (p.capriotti@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 448μ · Max: 1

Antoine Latter

2 commits (aslatter@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 448μ · Max: 1

David Terei

2 commits (davidterei@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 448μ · Max: 1

Sergei Trofimovich

2 commits (slyfox@gentoo.org)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 448μ · Max: 2

ulfn

2 commits (ulfn@cs.chalmers.se)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 448μ · Max: 2

David Eichmann

1 commit (eichmannd@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

David Feuer

1 commit (david.feuer@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

brady.ouren

1 commit (brady.ouren@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Jacob Stanley

1 commit (jacob@stanley.io)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Ben Gamari

1 commit (bgamari.foss@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Sidharth Kapur

1 commit (sidharthkapur1@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Alexander Vershilov

1 commit (alexander.vershilov@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Edward Z. Yang

1 commit (ezyang@cs.stanford.edu)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Brian McKenna

1 commit (bmckenna@atlassian.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Bas van Dijk

1 commit (v.dijk.bas@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Adam Bergmark

1 commit (adam@bergmark.nl)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Thomas Tuegel

1 commit (ttuegel@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

JP Moresmau

1 commit (jp@moresmau.fr)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Jan Stolarek

1 commit (jan.stolarek@p.lodz.pl)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Lennart Melzer

1 commit (me@lmaa.name)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Edsko de Vries

1 commit (edsko@well-typed.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Stephen Paul Weber

1 commit (singpolyma@singpolyma.net)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Eyal Lotem

1 commit (eyal.lotem@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Simon Marlow

1 commit (marlowsd@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Paulo Tanimoto

1 commit (tanimoto@inmachina.net)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

kr.angelov

1 commit (kr.angelov@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

tup

1 commit (tup.tuple@googlemail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Judah Jacobson

1 commit (judah.jacobson@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Florian Weimer

1 commit (fw@deneb.enyo.de)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

S.Karrmann

1 commit (s.karrmann@gmx.net)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Tomasz Zielonka

1 commit (tomasz.zielonka@gmail.com)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

John Meacham

1 commit (john@repetae.net)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

bringert

1 commit (bringert@cs.chalmers.se)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1

Einar Karttunen

1 commit (ekarttun@cs.helsinki.fi)

Commits05101520252007200820092010201120122013201420152016201720182019
Commits
Avg: 224μ · Max: 1