Contributors: Listing
Analyzed
4 days
ago.
based on code collected
4 days
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Nikita Eshkeev
|
|
1 |
|
over 4 years ago | over 4 years ago | ||||
|
gallais
|
|
1 |
|
almost 7 years ago | almost 7 years ago | ||||
|
Kaptch
|
|
1 |
|
coq | over 1 year ago | over 1 year ago | |||
|
Alexey Trilis
|
|
1 | 1 |
|
OCaml | 2 months ago | 2 months ago | ||
|
Bernhard M. Wiedemann
|
|
1 |
|
OCaml | over 4 years ago | over 4 years ago | |||
|
Dmitry Shachnev
|
|
1 |
|
Python | about 2 years ago | about 2 years ago | |||
|
Jean-Christophe Fill...
|
|
1 |
|
OCaml | over 9 years ago | over 9 years ago | |||
|
Abhishek Anand
|
|
1 |
|
coq | over 7 years ago | over 7 years ago | |||
|
Beta Ziliani
|
|
1 |
|
shell script | about 6 years ago | about 6 years ago | |||
|
Tony Beta Lambda
|
|
1 |
|
OCaml | over 6 years ago | over 6 years ago | |||
|
soukouki
|
|
1 | 1 |
|
coq | 11 months ago | 11 months ago | ||
|
Simon Gregersen
|
|
1 |
|
coq | about 6 years ago | about 6 years ago | |||
|
(no author)@85f007b7...
|
|
1 |
|
almost 25 years ago | almost 25 years ago | ||||
Robin Green
(Inactive)
|
|
0 | 0 | ||||||