Contributors: Listing
Analyzed
1 day
ago.
based on code collected
2 days
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Catalin Hritcu
|
|
1 |
|
C | almost 9 years ago | almost 9 years ago | |||
|
naveen
|
|
1 |
|
about 2 years ago | about 2 years ago | ||||
|
Matthew Dempsky
|
|
1 |
|
about 4 years ago | about 4 years ago | ||||
|
David M. Cooke
|
|
1 | 1 |
|
coq | 6 months ago | 6 months ago | ||
|
Weng Shiwei 翁士伟
|
|
1 |
|
about 1 year ago | about 1 year ago | ||||
|
Yusuke Matsushita
|
|
1 |
|
almost 4 years ago | almost 4 years ago | ||||
|
doctor-kaliy
|
|
1 | 1 |
|
coq | 11 months ago | 11 months ago | ||
|
Kate
|
|
1 |
|
about 1 year ago | about 1 year ago | ||||
|
Dabrowski
|
|
1 |
|
about 5 years ago | about 5 years ago | ||||
|
Minki Cho
|
|
1 |
|
shell script | over 2 years ago | over 2 years ago | |||
|
Gaëtan Gilbert
|
|
1 |
|
OCaml | over 5 years ago | over 5 years ago | |||
|
lduboisd
|
|
1 | 1 |
|
shell script | 4 months ago | 4 months ago | ||
|
Abhishek Anand
|
|
1 |
|
coq | over 7 years ago | over 7 years ago | |||
|
Jean-Christophe Léch...
|
|
1 |
|
OCaml | almost 4 years ago | almost 4 years ago | |||
|
Alexey Trilis
|
|
1 | 1 |
|
OCaml | 3 months ago | 3 months ago | ||
|
qvermande
|
|
1 | 1 |
|
OCaml | 8 months ago | 8 months ago | ||
|
igler
|
|
1 |
|
coq | almost 2 years ago | almost 2 years ago | |||
|
soraros
|
|
1 |
|
over 5 years ago | over 5 years ago | ||||
slel
(Inactive)
|
|
1 |
|
about 5 years ago | about 5 years ago | ||||
|
Stephan Boyer
|
|
1 |
|
coq | over 1 year ago | over 1 year ago | |||