Contributors: Listing
Analyzed
about 8 hours
ago.
based on code collected
about 9 hours
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Hugo Herbelin
|
|
4 | 8889 |
|
OCaml | about 26 years ago | 4 months ago | ||
|
coqbot-app[bot]
|
|
921 | 4347 |
|
coq | about 5 years ago | about 17 hours ago | ||
|
Pierre-Marie Pédrot
|
|
301 | 4011 |
|
OCaml | about 14 years ago | 5 days ago | ||
|
Gaëtan Gilbert
|
|
836 | 3725 |
|
OCaml | about 8 years ago | 2 days ago | ||
|
Emilio Jesus Gallego...
|
|
8 | 1982 |
|
OCaml | almost 10 years ago | 5 months ago | ||
|
Enrico Tassi
|
|
14 | 1543 |
|
OCaml | about 14 years ago | 4 months ago | ||
|
Matthieu Sozeau
|
|
18 | 1149 |
|
OCaml | about 13 years ago | 3 months ago | ||
|
Théo Zimmermann
|
|
40 | 1067 |
|
coq | about 8 years ago | 2 months ago | ||
|
Pierre Roux
|
|
98 | 585 |
|
coq | about 7 years ago | 14 days ago | ||
Guillaume Melquiond
|
|
3 | 562 |
|
TeX/LaTeX | about 16 years ago | 3 months ago | ||
|
Jason Gross
|
|
7 | 547 |
|
coq | about 12 years ago | 3 months ago | ||
|
Jim Fehrle
|
|
3 | 294 |
|
OCaml | almost 8 years ago | 5 months ago | ||
|
Pierre Rousselin
|
|
39 | 109 |
|
coq | almost 3 years ago | 5 months ago | ||
|
Yann Leray
|
|
20 | 79 |
|
OCaml | about 2 years ago | 13 days ago | ||
|
Rodolphe Lepigre
|
|
6 | 77 |
|
OCaml | over 2 years ago | about 2 months ago | ||
|
Andres Erbsen
|
|
4 | 73 |
|
coq | over 7 years ago | 5 months ago | ||
erikmd
|
|
1 | 72 |
|
coq | about 9 years ago | 10 months ago | ||
|
Tanaka Akira
|
|
3 | 68 |
|
TeX/LaTeX | almost 7 years ago | 12 months ago | ||
|
Frédéric Besson
|
|
1 | 37 |
|
OCaml | about 7 years ago | 10 months ago | ||
|
Jan-Oliver Kaiser
|
|
7 | 35 |
|
OCaml | over 6 years ago | 9 months ago | ||