Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
  • amin/ci/filer-spec
  • amin/gremlin_sem_untyped
  • ci/ike/frame_exist
  • ci/ocaml-dev
  • ci/ocaml-gc-stats
  • ci/ocaml-versions
  • ci/robbert/into_fupd
  • master default protected
  • ralf/frame-frac
  • ralf/prop-level-wand
  • simon/parametric-index
11 results
History

Commits to 86460eea396e6bc2f0a7869fdbd26c2974f90e9e

Excluding merge commits. Limited to 6,000 commits.
Number of commits03691215SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 376m · Max: 14

Ralf Jung

184 commits (jung@mpi-sws.org)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 180m · Max: 11

Zhen Zhang

96 commits (izgzhen@gmail.com)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 94m · Max: 8

Robbert Krebbers

30 commits (mail@robbertkrebbers.nl)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 29.4m · Max: 3

Ralf Jung

27 commits (post@ralfj.de)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 26.4m · Max: 6

Dan Frumin

15 commits (dfrumin@cs.ru.nl)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 14.7m · Max: 14

Amin Timany

11 commits (amintimany@gmail.com)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 10.8m · Max: 5

Rodolphe Lepigre

5 commits (rodolphe.lepigre@inria.fr)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 4.9m · Max: 2

Danny Gratzer

5 commits (danny.gratzer@gmail.com)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 4.9m · Max: 3

Jacques-Henri Jourdan

5 commits (jacques-henri.jourdan@normalesup.org)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 4.9m · Max: 3

Aleš Bizjak

2 commits (abizjak@cs.au.dk)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 1.96m · Max: 2

Hai Dang

1 commit (haidang@mpi-sws.org)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 979μ · Max: 1

Aleš Bizjak

1 commit (ales@alesb.com)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 979μ · Max: 1

Lars Birkedal

1 commit (birkedal@cs.au.dk)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 979μ · Max: 1

Joshua Yanovski

1 commit (pythonesque@gmail.com)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 979μ · Max: 1