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 | ||
|---|---|---|---|---|---|---|---|---|---|
Michael Soegtrop
|
|
2 | 105 |
|
coq | about 8 years ago | 8 months ago | ||
|
Clément Pit-Claudel
|
|
102 |
|
Python | almost 7 years ago | almost 4 years ago | |||
|
puech
|
|
91 |
|
OCaml | almost 17 years ago | over 13 years ago | |||
|
monate
|
|
79 |
|
OCaml | over 22 years ago | almost 22 years ago | |||
|
Yves Bertot
|
|
79 |
|
coq | over 12 years ago | over 4 years ago | |||
|
soubiran
|
|
76 |
|
OCaml | over 18 years ago | over 14 years ago | |||
|
Olivier Laurent
|
|
76 |
|
coq | over 6 years ago | over 2 years ago | |||
|
Rodolphe Lepigre
|
|
5 | 75 |
|
OCaml | over 2 years ago | 4 months ago | ||
erikmd
|
|
1 | 72 |
|
coq | almost 9 years ago | 6 months ago | ||
|
Andres Erbsen
|
|
18 | 72 |
|
coq | about 7 years ago | 6 months ago | ||
|
Tanaka Akira
|
|
3 | 68 |
|
TeX/LaTeX | over 6 years ago | 8 months ago | ||
|
vgross
|
|
68 |
|
OCaml | over 16 years ago | almost 15 years ago | |||
|
Paul Steckler
|
|
67 |
|
OCaml | about 9 years ago | over 7 years ago | |||
|
Lasse Blaauwbroek
|
|
67 |
|
OCaml | almost 7 years ago | over 1 year ago | |||
|
Cl��ment Pit-Claudel
|
|
66 |
|
Python | over 7 years ago | almost 7 years ago | |||
|
Yann Leray
|
|
17 | 66 |
|
OCaml | almost 2 years ago | about 1 month ago | ||
xclerc
(Inactive)
|
|
61 |
|
coq | over 13 years ago | over 10 years ago | |||
|
courant
|
|
57 |
|
OCaml | about 25 years ago | about 22 years ago | |||
|
Tej Chajed
|
|
56 |
|
coq | over 9 years ago | over 4 years ago | |||
|
lmamane
|
|
55 |
|
OCaml | about 19 years ago | almost 16 years ago | |||