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 | ||
|---|---|---|---|---|---|---|---|---|---|
Jean-Francois Monin
|
|
9 |
|
coq | over 3 years ago | over 3 years ago | |||
|
Ana Borges
|
|
8 |
|
coq | over 3 years ago | over 1 year ago | |||
|
Martin Bodin
|
|
8 |
|
coq | over 6 years ago | almost 3 years ago | |||
|
Oliver Nash
|
|
8 |
|
coq | almost 6 years ago | over 5 years ago | |||
|
Mario Frank
|
|
7 | 8 |
|
OCaml | about 1 year ago | 11 months ago | ||
|
Talia Ringer
|
|
8 |
|
OCaml | almost 6 years ago | about 5 years ago | |||
|
Wojciech Karpiel
|
|
8 |
|
OCaml | over 3 years ago | over 3 years ago | |||
|
Rudi Grinberg
|
|
7 |
|
OCaml | about 3 years ago | about 3 years ago | |||
|
Arma��l Gu��neau
|
|
7 |
|
OCaml | over 6 years ago | over 6 years ago | |||
|
Reynald Affeldt
|
|
7 |
|
coq | over 4 years ago | about 2 years ago | |||
|
Xavier Leroy
|
|
7 |
|
coq | over 8 years ago | about 5 years ago | |||
|
Yann R��gis-Gianas
|
|
7 |
|
OCaml | over 10 years ago | over 8 years ago | |||
|
werner
|
|
7 |
|
OCaml | almost 24 years ago | over 16 years ago | |||
|
S��bastien Hinderer
|
|
7 |
|
coq | over 10 years ago | about 10 years ago | |||
|
Andreas Lynge
|
|
7 |
|
OCaml | almost 6 years ago | over 5 years ago | |||
|
Wojciech Karpiel
|
|
6 |
|
OCaml | over 2 years ago | over 2 years ago | |||
|
Bruno Barras
|
|
6 |
|
OCaml | about 11 years ago | almost 10 years ago | |||
|
Abhishek Anand (opti...
|
|
6 |
|
OCaml | about 5 years ago | almost 5 years ago | |||
|
William Lawvere
|
|
6 |
|
coq | over 7 years ago | over 7 years ago | |||
|
fkirchne
|
|
6 |
|
OCaml | over 14 years ago | about 14 years ago | |||