Contributors: Listing
Analyzed
about 5 hours
ago.
based on code collected
about 22 hours
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Hugo Herbelin
|
|
3 | 8889 |
|
OCaml | over 26 years ago | 12 months ago | ||
|
coqbot-app[bot]
|
|
871 | 4930 |
|
coq | almost 6 years ago | 1 day ago | ||
|
Pierre-Marie Pédrot
|
|
442 | 4340 |
|
OCaml | over 14 years ago | 7 days ago | ||
|
Gaëtan Gilbert
|
|
549 | 4111 |
|
OCaml | over 8 years ago | 3 days ago | ||
|
Pierre-Marie P��drot
|
|
2062 |
|
OCaml | almost 13 years ago | almost 8 years ago | |||
|
Pierre Letouzey
|
|
2013 |
|
coq | over 25 years ago | about 8 years ago | |||
|
Maxime D��n��s
|
|
2005 |
|
OCaml | over 12 years ago | almost 8 years ago | |||
|
Emilio Jesus Gallego...
|
|
2 | 1984 |
|
OCaml | over 10 years ago | 7 months ago | ||
|
Enrico Tassi
|
|
13 | 1554 |
|
OCaml | over 14 years ago | 13 days ago | ||
Jean-Christophe Fill...
(Inactive)
|
|
1201 |
|
OCaml | almost 27 years ago | almost 18 years ago | |||
|
Matthieu Sozeau
|
|
17 | 1165 |
|
OCaml | over 13 years ago | 13 days ago | ||
|
Théo Zimmermann
|
|
9 | 1068 |
|
coq | over 8 years ago | 6 months ago | ||
|
msozeau
|
|
767 |
|
OCaml | over 20 years ago | over 12 years ago | |||
|
coq
|
|
636 |
|
OCaml | almost 26 years ago | over 20 years ago | |||
|
Pierre Roux
|
|
60 | 627 |
|
coq | almost 8 years ago | 16 days ago | ||
Guillaume Melquiond
|
|
7 | 567 |
|
TeX/LaTeX | almost 17 years ago | 5 months ago | ||
|
Jason Gross
|
|
21 | 565 |
|
coq | over 12 years ago | 18 days ago | ||
|
Arnaud Spiwack
|
|
558 |
|
OCaml | about 19 years ago | over 8 years ago | |||
|
Th��o Zimmermann
|
|
552 |
|
TeX/LaTeX | almost 10 years ago | almost 8 years ago | |||
|
Ga��tan Gilbert
|
|
468 |
|
OCaml | about 9 years ago | almost 8 years ago | |||