Contributors: Listing
Analyzed
about 22 hours
ago.
based on code collected
about 23 hours
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Fr��d��ric Besson
|
|
16 |
|
OCaml | over 11 years ago | almost 9 years ago | |||
|
Gabriel Scherer
|
|
1 | 15 |
|
OCaml | about 10 years ago | 10 months ago | ||
|
quarkcool
|
|
15 |
|
coq | almost 2 years ago | over 1 year ago | |||
|
mrmr1993
|
|
14 |
|
OCaml | over 7 years ago | over 7 years ago | |||
|
mdenes
|
|
14 |
|
OCaml | over 12 years ago | over 11 years ago | |||
|
coqbot
|
|
14 |
|
OCaml | almost 5 years ago | almost 5 years ago | |||
|
Quentin Vermande
|
|
4 | 13 |
|
OCaml | over 1 year ago | 7 months ago | ||
|
Dario Halilovic
|
|
13 | 13 |
|
OCaml | 4 months ago | 25 days ago | ||
|
Stefan Haan
|
|
12 |
|
coq | about 4 years ago | over 1 year ago | |||
|
Antonio Nikishaev
|
|
12 |
|
shell script | almost 6 years ago | about 5 years ago | |||
|
whitequark
|
|
12 |
|
OCaml | about 7 years ago | about 7 years ago | |||
|
Li-yao Xia
|
|
12 |
|
coq | almost 5 years ago | over 1 year ago | |||
|
remzi
|
|
10 |
|
OCaml | over 2 years ago | about 2 years ago | |||
|
amahboub
|
|
10 |
|
coq | over 16 years ago | almost 12 years ago | |||
|
Rapha��l Monat
|
|
10 |
|
OCaml | almost 8 years ago | over 7 years ago | |||
|
Columbus240
|
|
10 |
|
OCaml | about 4 years ago | about 4 years ago | |||
|
Sam Pablo Kuper
|
|
9 |
|
TeX/LaTeX | almost 8 years ago | over 6 years ago | |||
|
Anton Danilkin
|
|
9 |
|
OCaml | over 1 year ago | over 1 year ago | |||
|
Jean-Francois Monin
|
|
9 |
|
coq | about 4 years ago | about 4 years ago | |||
|
Carst Tankink
|
|
9 |
|
OCaml | over 11 years ago | almost 11 years ago | |||