Contributors: Listing
Analyzed
24 days
ago.
based on code collected
25 days
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Yann Leray
|
|
20 | 53 |
|
OCaml | over 1 year ago | 5 months ago | ||
|
emakarov
|
|
49 |
|
coq | about 18 years ago | over 14 years ago | |||
Claude Marché
(Inactive)
|
|
46 |
|
OCaml | almost 22 years ago | over 15 years ago | |||
|
Amin Timany
|
|
46 |
|
OCaml | almost 8 years ago | over 7 years ago | |||
|
thery
|
|
1 | 44 |
|
coq | over 18 years ago | 12 months ago | ||
|
Kazuhiko Sakaguchi
|
|
42 |
|
coq | almost 7 years ago | about 1 year ago | |||
|
Yishuai Li
|
|
41 |
|
coq | almost 7 years ago | over 1 year ago | |||
|
Gaetan Gilbert
|
|
40 |
|
OCaml | about 8 years ago | almost 8 years ago | |||
|
Ralf Jung
|
|
39 |
|
shell script | about 8 years ago | about 1 year ago | |||
|
Regis-Gianas
|
|
38 |
|
OCaml | over 10 years ago | over 10 years ago | |||
|
mayero
|
|
36 |
|
coq | over 24 years ago | over 22 years ago | |||
|
Frédéric Besson
|
|
1 | 36 |
|
OCaml | over 6 years ago | 4 months ago | ||
|
Cyprien Mangin
|
|
35 |
|
OCaml | over 9 years ago | over 6 years ago | |||
|
Vincent Semeria
|
|
34 |
|
coq | over 6 years ago | over 3 years ago | |||
|
regisgia
|
|
34 |
|
OCaml | about 15 years ago | over 11 years ago | |||
|
SimonBoulier
|
|
32 |
|
OCaml | over 6 years ago | almost 5 years ago | |||
|
Jan-Oliver Kaiser
|
|
22 | 32 |
|
coq | over 5 years ago | about 1 month ago | ||
|
Sylvain Chiron
|
|
12 | 32 |
|
OCaml | almost 2 years ago | 7 months ago | ||
|
bgregoir
|
|
31 |
|
OCaml | over 22 years ago | about 13 years ago | |||
|
vsiles
|
|
31 |
|
OCaml | almost 18 years ago | almost 14 years ago | |||