Contributors: Listing
Analyzed
25 days
ago.
based on code collected
25 days
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Andreas Florath
|
|
1 |
|
about 1 year ago | about 1 year ago | ||||
|
Thomas Hebb
|
|
1 |
|
OCaml | almost 7 years ago | almost 7 years ago | |||
|
Timur Aminev
|
|
1 | 1 |
|
about 1 year ago | about 1 year ago | |||
|
Bernhard M. Wiedemann
|
|
1 |
|
OCaml | about 5 years ago | about 5 years ago | |||
|
hawnzug
|
|
1 |
|
almost 6 years ago | almost 6 years ago | ||||
|
fredokun
|
|
1 |
|
coq | about 7 years ago | about 7 years ago | |||
|
Shengyi Wang
|
|
1 |
|
over 1 year ago | over 1 year ago | ||||
|
roconnor-blockstream
|
|
1 |
|
coq | over 7 years ago | over 7 years ago | |||
|
Olivier Marty
|
|
1 |
|
OCaml | over 7 years ago | over 7 years ago | |||
|
Alexey Trilis
|
|
1 | 1 |
|
OCaml | 11 months ago | 11 months ago | ||
|
Beta Ziliani
|
|
1 |
|
shell script | almost 7 years ago | almost 7 years ago | |||
|
MSoegtropIMC
|
|
1 |
|
about 3 years ago | about 3 years ago | ||||
|
Matthieu Baty
|
|
1 |
|
OCaml | almost 2 years ago | almost 2 years ago | |||
|
Arya Elfren
|
|
1 | 1 |
|
8 months ago | 8 months ago | |||
|
spanjel
|
|
1 |
|
OCaml | over 5 years ago | over 5 years ago | |||
|
Karolin Varner
|
|
1 |
|
coq | almost 4 years ago | almost 4 years ago | |||
|
Wojciech Nawrocki
|
|
1 |
|
over 5 years ago | over 5 years ago | ||||
|
Meven Lennon-Bertrand
|
|
1 |
|
almost 2 years ago | almost 2 years ago | ||||
|
George Stelle
|
|
1 |
|
coq | almost 8 years ago | almost 8 years ago | |||
|
slb Prime
|
|
1 |
|
almost 4 years ago | almost 4 years ago | ||||