Contributors: Listing
Analyzed
about 2 hours
ago.
based on code collected
about 3 hours
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Tomasz Gorochowik
|
|
2 | 5 |
|
about 5 years ago | 9 months ago | |||
|
Ludwig Rogiers
|
|
5 |
|
about 5 years ago | about 5 years ago | ||||
|
Matthew Ballance
|
|
5 |
|
over 5 years ago | almost 4 years ago | ||||
|
Maarten De Braekeleer
|
|
5 |
|
almost 6 years ago | about 5 years ago | ||||
|
Yinan Xu
|
|
4 |
|
over 2 years ago | about 1 year ago | ||||
|
Veripool API Bot
|
|
4 |
|
over 5 years ago | about 5 years ago | ||||
|
Tobias Rosenkranz
|
|
2 | 4 |
|
over 5 years ago | 16 days ago | |||
|
Àlex Torregrosa
|
|
4 |
|
over 4 years ago | about 2 years ago | ||||
|
Risto Pejašinović
|
|
4 |
|
about 2 years ago | about 2 years ago | ||||
|
Dan Petrisko
|
|
4 |
|
about 5 years ago | about 4 years ago | ||||
|
William D. Jones
|
|
1 | 4 |
|
C++ | about 3 years ago | 4 months ago | ||
|
Artur Bieniek
|
|
4 | 4 |
|
coq | 9 days ago | 3 days ago | ||
|
Paul Wright
|
|
4 |
|
over 4 years ago | over 1 year ago | ||||
|
Morten Borup Petersen
|
|
4 |
|
over 4 years ago | about 4 years ago | ||||
|
Nick Brereton
|
|
3 | 3 |
|
C++ | 6 months ago | about 2 months ago | ||
|
Sebastien Van Cauwen...
|
|
3 |
|
about 6 years ago | over 5 years ago | ||||
|
Byron Bradley
|
|
3 |
|
over 15 years ago | over 15 years ago | ||||
|
Yuri Victorovich
|
|
3 |
|
about 5 years ago | over 4 years ago | ||||
|
Rich Porter
|
|
3 |
|
over 12 years ago | almost 12 years ago | ||||
|
Jiamin Zhu
|
|
3 |
|
about 2 years ago | about 2 years ago | ||||