Contributors: Listing
Analyzed
about 18 hours
ago.
based on code collected
about 18 hours
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Pierre Roux
|
|
184 | 709 |
|
coq | almost 5 years ago | 14 days ago | ||
|
Cyril Cohen
|
|
38 | 665 |
|
HTML | almost 11 years ago | 23 days ago | ||
|
Kazuhiko Sakaguchi
|
|
57 | 265 |
|
coq | over 7 years ago | 22 days ago | ||
|
Enrico Tassi
|
|
2 | 164 |
|
HTML | almost 11 years ago | 8 months ago | ||
|
Reynald Affeldt
|
|
17 | 132 |
|
coq | over 6 years ago | about 1 month ago | ||
|
Enrico
|
|
79 |
|
OCaml | over 10 years ago | over 6 years ago | |||
erikmd
(Inactive)
|
|
70 |
|
coq | over 9 years ago | about 1 year ago | |||
|
Georges Gonthier
|
|
3 | 62 |
|
coq | about 10 years ago | 8 months ago | ||
|
thery
|
|
4 | 59 |
|
coq | about 10 years ago | 15 days ago | ||
|
affeldt-aist
|
|
4 | 57 |
|
coq | over 6 years ago | 5 months ago | ||
|
Florent Hivert
|
|
2 | 35 |
|
OCaml | almost 10 years ago | 25 days ago | ||
|
Christian Doczkal
|
|
33 |
|
coq | over 6 years ago | over 4 years ago | |||
|
Yves Bertot
|
|
32 |
|
coq | almost 10 years ago | over 1 year ago | |||
|
Laurent Théry
|
|
32 |
|
coq | almost 11 years ago | over 1 year ago | |||
|
Assia Mahboubi
|
|
30 |
|
coq | over 10 years ago | about 6 years ago | |||
|
Maxime Dénès
|
|
26 |
|
HTML | over 10 years ago | about 6 years ago | |||
|
Anton Trunov
|
|
23 |
|
coq | almost 8 years ago | almost 6 years ago | |||
|
Quentin VERMANDE
|
|
6 | 22 |
|
coq | about 3 years ago | 6 months ago | ||
|
jouvelot
|
|
21 |
|
coq | almost 5 years ago | over 1 year ago | |||
|
Emilio Jesus Gallego...
|
|
17 |
|
OCaml | about 10 years ago | over 4 years ago | |||