Contributors: Listing
Analyzed
about 12 hours
ago.
based on code collected
about 13 hours
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Hugo Herbelin
|
|
281 | 8713 |
|
OCaml | over 24 years ago | 2 days ago | ||
|
Pierre-Marie Pédrot
|
|
204 | 3549 |
|
OCaml | over 12 years ago | 3 days ago | ||
|
coqbot-app[bot]
|
|
837 | 2993 |
|
OCaml | over 3 years ago | about 22 hours ago | ||
|
Gaëtan Gilbert
|
|
532 | 2553 |
|
OCaml | over 6 years ago | 2 days ago | ||
|
Emilio Jesus Gallego...
|
|
29 | 1947 |
|
OCaml | over 8 years ago | 23 days ago | ||
|
Enrico Tassi
|
|
12 | 1508 |
|
OCaml | over 12 years ago | 4 days ago | ||
|
Pierre Roux
|
|
67 | 323 |
|
coq | over 5 years ago | 10 days ago | ||
|
Jim Fehrle
|
|
3 | 277 |
|
OCaml | over 6 years ago | 29 days ago | ||
|
Pierre Rousselin
|
|
49 | 54 |
|
coq | over 1 year ago | 9 days ago | ||
|
Andrej Dudenhefner
|
|
3 | 23 |
|
coq | about 3 years ago | 17 days ago | ||
|
Sylvain Chiron
|
|
12 | 18 |
|
OCaml | about 1 year ago | 28 days ago | ||
|
Lennart Jablonka
|
|
1 | 1 |
|
5 days ago | 5 days ago | |||