|
|||||||||
Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
---|---|---|---|---|---|---|---|---|---|
coqbot-app[bot] | 837 | 2993 | OCaml | over 3 years ago | about 14 hours ago | ||||
Gaëtan Gilbert | 532 | 2553 | OCaml | over 6 years ago | 1 day ago | ||||
Hugo Herbelin | 281 | 8713 | OCaml | over 24 years ago | 1 day ago | ||||
Pierre-Marie Pédrot | 204 | 3549 | OCaml | over 12 years ago | 3 days ago | ||||
Enrico Tassi | 12 | 1508 | OCaml | over 12 years ago | 4 days ago | ||||
Lennart Jablonka | 1 | 1 | 4 days ago | 4 days ago | |||||
Pierre Rousselin | 49 | 54 | coq | over 1 year ago | 9 days ago | ||||
Pierre Roux | 67 | 323 | coq | over 5 years ago | 10 days ago | ||||
Andrej Dudenhefner | 3 | 23 | coq | about 3 years ago | 17 days ago | ||||
Emilio Jesus Gallego... | 29 | 1947 | OCaml | over 8 years ago | 23 days ago | ||||
Sylvain Chiron | 12 | 18 | OCaml | about 1 year ago | 28 days ago | ||||
Jim Fehrle | 3 | 277 | OCaml | over 6 years ago | 28 days ago | ||||
Guillaume Melquiond | 10 | 554 | TeX/LaTeX | over 14 years ago | about 1 month ago | ||||
Jan-Oliver Kaiser | 13 | 18 | coq | almost 5 years ago | about 1 month ago | ||||
Andres Erbsen | 18 | 53 | coq | almost 6 years ago | about 1 month ago | ||||
Alexey Trilis | 1 | 1 | OCaml | about 1 month ago | about 1 month ago | ||||
Yann Leray | 47 | 47 | OCaml | 8 months ago | about 2 months ago | ||||
Julien Puydt | 3 | 3 | OCaml | 6 months ago | about 2 months ago | ||||
Remyjck | 1 | 1 | OCaml | about 2 months ago | about 2 months ago | ||||
Anton Danilkin | 9 | 9 | OCaml | about 2 months ago | about 2 months ago |