Contributors: Listing
Analyzed
1 day
ago.
based on code collected
1 day
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
charguer
|
|
25 |
|
OCaml | over 6 years ago | over 4 years ago | |||
|
Anton Trunov
|
|
24 |
|
coq | over 6 years ago | almost 4 years ago | |||
|
Samuel Gruetter
|
|
24 |
|
coq | over 6 years ago | about 1 year ago | |||
|
Andrej Dudenhefner
|
|
3 | 23 |
|
coq | about 3 years ago | 24 days ago | ||
|
Frederic Besson
|
|
1 | 22 |
|
OCaml | about 3 years ago | 8 months ago | ||
|
Zeimer
|
|
22 |
|
over 6 years ago | almost 6 years ago | ||||
|
Paolo G. Giarrusso
|
|
1 | 22 |
|
Python | about 5 years ago | 12 months ago | ||
|
pottier
|
|
20 |
|
coq | almost 14 years ago | almost 13 years ago | |||
|
Nickolai Zeldovich
|
|
19 |
|
OCaml | over 9 years ago | about 4 years ago | |||
|
Sylvain Chiron
|
|
12 | 18 |
|
OCaml | about 1 year ago | about 1 month ago | ||
|
Lysxia
|
|
18 |
|
OCaml | almost 6 years ago | about 4 years ago | |||
|
Gregory Malecha
|
|
18 |
|
OCaml | over 10 years ago | about 8 years ago | |||
|
Cyril Cohen
|
|
1 | 18 |
|
OCaml | over 5 years ago | 12 months ago | ||
|
Jan-Oliver Kaiser
|
|
13 | 18 |
|
coq | almost 5 years ago | about 1 month ago | ||
|
Karl Palmskog
|
|
4 | 18 |
|
shell script | over 5 years ago | 11 months ago | ||
|
kirchner
|
|
17 |
|
TeX/LaTeX | about 20 years ago | over 19 years ago | |||
Ramkumar Ramachandra
( Contributor )
|
|
1 | 17 |
|
OCaml | over 4 years ago | 13 days ago | ||
|
roconnor
|
|
16 |
|
coq | almost 17 years ago | over 16 years ago | |||
|
Kenji Maillard
|
|
16 |
|
OCaml | over 4 years ago | over 3 years ago | |||
|
BESSON Frederic
|
|
16 |
|
OCaml | over 3 years ago | about 3 years ago | |||