Contributors: Listing
Analyzed
about 15 hours
ago.
based on code collected
about 15 hours
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Rw1nd
|
|
1 | 1 |
|
Make | 5 months ago | 5 months ago | ||
|
qvermande
|
|
1 |
|
OCaml | almost 2 years ago | almost 2 years ago | |||
|
Benedict Christian Smit
|
|
1 | 1 |
|
3 months ago | 3 months ago | |||
|
Benny Smit
|
|
1 |
|
coq | about 1 year ago | about 1 year ago | |||
|
Helge Bahmann
|
|
1 |
|
OCaml | almost 6 years ago | almost 6 years ago | |||
|
stop-cran
|
|
1 |
|
coq | over 3 years ago | over 3 years ago | |||
|
Elyes Jemel
|
|
1 | 1 |
|
coq | 4 months ago | 4 months ago | ||
|
Nikita Eshkeev
|
|
1 |
|
over 5 years ago | over 5 years ago | ||||
|
lduboisd
|
|
1 |
|
shell script | over 1 year ago | over 1 year ago | |||
|
(no author)@85f007b7...
|
|
1 |
|
almost 26 years ago | almost 26 years ago | ||||
|
Beta Ziliani
|
|
1 |
|
shell script | over 7 years ago | over 7 years ago | |||
|
Ismail
|
|
1 |
|
coq | over 7 years ago | over 7 years ago | |||
|
wkwkes
|
|
1 |
|
almost 7 years ago | almost 7 years ago | ||||
|
[email protected]
|
|
1 |
|
coq | almost 7 years ago | almost 7 years ago | |||
|
Karolin Varner
|
|
1 |
|
coq | over 4 years ago | over 4 years ago | |||
|
Ike Mulder
|
|
1 |
|
Make | over 6 years ago | over 6 years ago | |||
|
doctor-kaliy
|
|
1 |
|
coq | about 2 years ago | about 2 years ago | |||
|
Thomas Refis
|
|
1 |
|
over 11 years ago | over 11 years ago | ||||
|
Thierry Martinez
|
|
1 |
|
OCaml | over 6 years ago | over 6 years ago | |||
|
Jerry James
|
|
1 |
|
almost 3 years ago | almost 3 years ago | ||||