Contributors: Listing
Analyzed
24 days
ago.
based on code collected
25 days
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Cl��ment Pit--Claudel
|
|
5 |
|
OCaml | about 10 years ago | almost 10 years ago | |||
|
Chantal Keller
|
|
5 |
|
shell script | almost 6 years ago | over 2 years ago | |||
|
Theo Zimmermann
|
|
4 |
|
OCaml | over 9 years ago | over 9 years ago | |||
|
Jacques-Henri Jourdan
|
|
4 |
|
OCaml | over 9 years ago | almost 4 years ago | |||
|
Emilio Jesús Gallego...
|
|
4 |
|
OCaml | over 6 years ago | about 6 years ago | |||
|
Robbert Krebbers
|
|
4 |
|
coq | over 7 years ago | over 1 year ago | |||
|
Enrico
|
|
4 |
|
OCaml | almost 7 years ago | about 6 years ago | |||
|
Nick Lewycky
|
|
4 |
|
coq | over 6 years ago | over 6 years ago | |||
|
Christian Doczkal
|
|
4 |
|
coq | about 6 years ago | over 3 years ago | |||
|
Hendrik Tews
|
|
4 |
|
OCaml | about 8 years ago | almost 4 years ago | |||
|
Davide Fissore
|
|
4 | 4 |
|
OCaml | 9 months ago | 9 months ago | ||
|
Isaac van Bakel
|
|
4 |
|
coq | almost 5 years ago | over 1 year ago | |||
|
Guillaume Claret
|
|
4 |
|
almost 10 years ago | over 9 years ago | ||||
|
larsr
|
|
4 |
|
TeX/LaTeX | over 7 years ago | almost 5 years ago | |||
|
tomaz1502
|
|
4 | 4 |
|
shell script | 8 months ago | 8 months ago | ||
|
thutchin
|
|
4 |
|
Autoconf | almost 15 years ago | over 14 years ago | |||
|
Virgile Prevosto
|
|
3 |
|
OCaml | almost 11 years ago | almost 11 years ago | |||
|
Timothy Bourke
|
|
3 |
|
over 6 years ago | over 6 years ago | ||||
|
Edward Wang
|
|
3 |
|
coq | almost 5 years ago | over 4 years ago | |||
|
Pierre-Yves Strub
|
|
3 |
|
about 8 years ago | about 8 years ago | ||||