|
|||||||||
Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
---|---|---|---|---|---|---|---|---|---|
Hugo Herbelin | 262 | 8694 | OCaml | over 24 years ago | 4 days ago | ||||
Pierre-Marie Pédrot | 185 | 3529 | OCaml | over 12 years ago | 10 days ago | ||||
coqbot-app[bot] | 814 | 2953 | OCaml | over 3 years ago | 2 days ago | ||||
Gaëtan Gilbert | 530 | 2533 | OCaml | over 6 years ago | 3 days ago | ||||
Pierre-Marie P��drot | 2062 | OCaml | over 10 years ago | over 5 years ago | |||||
Pierre Letouzey | 2013 | coq | about 23 years ago | about 6 years ago | |||||
Maxime D��n��s | 2005 | OCaml | over 10 years ago | over 5 years ago | |||||
Emilio Jesus Gallego... | 29 | 1947 | OCaml | over 8 years ago | 15 days ago | ||||
Enrico Tassi | 10 | 1505 | OCaml | over 12 years ago | 5 months ago | ||||
Jean-Christophe Fill... (Inactive) | 1201 | OCaml | almost 25 years ago | over 15 years ago | |||||
Matthieu Sozeau | 1125 | OCaml | over 11 years ago | about 1 year ago | |||||
Théo Zimmermann | 23 | 1020 | coq | over 6 years ago | 7 months ago | ||||
msozeau | 767 | OCaml | about 18 years ago | over 10 years ago | |||||
coq | 636 | OCaml | almost 24 years ago | about 18 years ago | |||||
Arnaud Spiwack | 558 | OCaml | about 17 years ago | over 6 years ago | |||||
Th��o Zimmermann | 552 | TeX/LaTeX | over 7 years ago | over 5 years ago | |||||
Guillaume Melquiond | 8 | 552 | TeX/LaTeX | over 14 years ago | about 1 month ago | ||||
Jason Gross | 44 | 540 | coq | over 10 years ago | about 2 months ago | ||||
Ga��tan Gilbert | 468 | OCaml | almost 7 years ago | over 5 years ago | |||||
barras | 467 | OCaml | over 24 years ago | over 11 years ago |