Contributors: Listing
Analyzed
about 11 hours
ago.
based on code collected
1 day
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
coqbot-app[bot]
|
|
822 | 2964 |
|
OCaml | over 3 years ago | 1 day ago | ||
|
Pierre Rousselin
|
|
49 | 54 |
|
coq | over 1 year ago | 2 days ago | ||
|
Pierre-Marie Pédrot
|
|
196 | 3540 |
|
OCaml | over 12 years ago | 3 days ago | ||
|
Gaëtan Gilbert
|
|
535 | 2539 |
|
OCaml | over 6 years ago | 4 days ago | ||
|
Hugo Herbelin
|
|
274 | 8706 |
|
OCaml | over 24 years ago | 5 days ago | ||
|
Andrej Dudenhefner
|
|
3 | 23 |
|
coq | about 3 years ago | 10 days ago | ||
|
Emilio Jesus Gallego...
|
|
29 | 1947 |
|
OCaml | over 8 years ago | 16 days ago | ||
|
Sylvain Chiron
|
|
12 | 18 |
|
OCaml | about 1 year ago | 21 days ago | ||
|
Jim Fehrle
|
|
2 | 276 |
|
OCaml | over 6 years ago | 22 days ago | ||
|
Jan-Oliver Kaiser
|
|
13 | 18 |
|
coq | almost 5 years ago | 25 days ago | ||
|
Andres Erbsen
|
|
18 | 53 |
|
coq | almost 6 years ago | about 1 month ago | ||
Guillaume Melquiond
|
|
8 | 552 |
|
TeX/LaTeX | over 14 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 1 month 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 | ||
|
Li-yao Xia
|
|
2 | 12 |
|
coq | almost 4 years ago | about 2 months ago | ||
|
Quentin Vermande
|
|
2 | 2 |
|
OCaml | 3 months ago | about 2 months ago | ||
|
Rodolphe Lepigre
|
|
58 | 59 |
|
OCaml | about 1 year ago | about 2 months ago | ||