Contributors: Listing
Analyzed
about 21 hours
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 | ||
|---|---|---|---|---|---|---|---|---|---|
Enrico Tassi
|
|
344 | 2445 |
|
OCaml | about 8 years ago | 19 days ago | ||
|
Davide Fissore
|
|
35 | 452 |
|
coq | about 2 years ago | about 1 month ago | ||
|
Gaëtan Gilbert
|
|
20 | 97 |
|
OCaml | over 7 years ago | about 1 month ago | ||
|
Enrico
|
|
82 |
|
coq | about 8 years ago | almost 6 years ago | |||
|
Pierre-Marie Pédrot
|
|
17 | 71 |
|
OCaml | over 6 years ago | about 1 month ago | ||
|
Pierre Roux
|
|
40 | 59 |
|
OCaml | about 6 years ago | 4 months ago | ||
|
Cyril Cohen
|
|
5 | 56 |
|
coq | almost 8 years ago | about 2 months ago | ||
|
lucas8
|
|
53 |
|
coq | almost 8 years ago | almost 8 years ago | |||
|
Emilio Jesus Gallego...
|
|
30 |
|
OCaml | about 8 years ago | about 4 years ago | |||
|
Hugo Herbelin
|
|
25 |
|
OCaml | about 7 years ago | over 1 year ago | |||
|
Quentin Vermande
|
|
7 | 18 |
|
OCaml | over 1 year ago | about 2 months ago | ||
|
Yves Bertot
|
|
14 | 16 |
|
coq | over 3 years ago | 7 months ago | ||
|
Patrick Nicodemus
|
|
13 | 13 |
|
coq | 5 months ago | 5 months ago | ||
|
Rodolphe Lepigre
|
|
3 | 12 |
|
coq | almost 2 years ago | 9 months ago | ||
|
Paolo G. Giarrusso
|
|
11 |
|
coq | over 2 years ago | almost 2 years ago | |||
|
Jean-Christophe Léch...
|
|
3 | 9 |
|
coq | over 3 years ago | 4 months ago | ||
|
Yves Bertot (he)
|
|
8 | 8 |
|
coq | 7 months ago | 7 months ago | ||
|
Maxime Dénès
|
|
7 |
|
OCaml | almost 7 years ago | about 2 years ago | |||
|
Lucie
|
|
6 | 6 |
|
OCaml | about 2 months ago | about 2 months ago | ||
|
Vincent Laporte
|
|
1 | 6 |
|
OCaml | over 7 years ago | 12 months ago | ||