|
|
|||||||||
| 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 | 5 months ago | ||
coqbot-app[bot]
|
|
938 | 4449 |
|
coq | over 5 years ago | 1 day ago | ||
Pierre-Marie Pédrot
|
|
412 | 4129 |
|
OCaml | about 14 years ago | 3 days ago | ||
Gaëtan Gilbert
|
|
779 | 3803 |
|
OCaml | about 8 years ago | 3 days ago | ||
Pierre-Marie P��drot
|
|
2062 |
|
OCaml | over 12 years ago | about 7 years ago | |||
Pierre Letouzey
|
|
2013 |
|
coq | almost 25 years ago | over 7 years ago | |||
Maxime D��n��s
|
|
2005 |
|
OCaml | about 12 years ago | about 7 years ago | |||
Emilio Jesus Gallego...
|
|
9 | 1984 |
|
OCaml | about 10 years ago | 20 days ago | ||
Enrico Tassi
|
|
11 | 1544 |
|
OCaml | about 14 years ago | 20 days ago | ||
|
|
|
1201 |
|
OCaml | over 26 years ago | over 17 years ago | |||
Matthieu Sozeau
|
|
19 | 1150 |
|
OCaml | about 13 years ago | 11 days ago | ||
Théo Zimmermann
|
|
39 | 1067 |
|
coq | about 8 years ago | 3 months ago | ||
msozeau
|
|
767 |
|
OCaml | almost 20 years ago | about 12 years ago | |||
coq
|
|
636 |
|
OCaml | over 25 years ago | almost 20 years ago | |||
Pierre Roux
|
|
98 | 590 |
|
coq | over 7 years ago | about 1 month ago | ||
|
|
|
3 | 562 |
|
TeX/LaTeX | over 16 years ago | 4 months ago | ||
Arnaud Spiwack
|
|
558 |
|
OCaml | over 18 years ago | about 8 years ago | |||
Th��o Zimmermann
|
|
552 |
|
TeX/LaTeX | about 9 years ago | about 7 years ago | |||
Jason Gross
|
|
7 | 547 |
|
coq | about 12 years ago | 4 months ago | ||
Ga��tan Gilbert
|
|
468 |
|
OCaml | over 8 years ago | about 7 years ago | |||