Contributors: Listing
Analyzed
about 15 hours
ago.
based on code collected
about 15 hours
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Enrico Tassi
|
|
299 | 2559 |
|
OCaml | over 8 years ago | 11 days ago | ||
|
Gaëtan Gilbert
|
|
32 | 112 |
|
OCaml | over 7 years ago | 8 days ago | ||
|
Pierre-Marie Pédrot
|
|
24 | 82 |
|
OCaml | about 7 years ago | 8 days ago | ||
|
Patrick Nicodemus
|
|
16 | 16 |
|
coq | 9 months ago | 13 days ago | ||
|
Rodolphe Lepigre
|
|
1 | 13 |
|
coq | about 2 years ago | 23 days ago | ||
|
Yann Leray
|
|
1 | 1 |
|
OCaml | 17 days ago | 17 days ago | ||
|
nicolas tabareau
|
|
1 | 1 |
|
OCaml | 12 days ago | 12 days ago | ||