Contributors: Listing
Analyzed
12 months
ago.
based on code collected
over 3 years
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Clifford Wolf
|
|
6861 |
|
coq | over 12 years ago | about 5 years ago | |||
|
Eddie Hung
|
|
3821 |
|
coq | almost 7 years ago | about 2 years ago | |||
|
Miodrag Milanovic
|
|
296 | 2461 |
|
C++ | over 7 years ago | about 1 year ago | ||
|
David Shah
|
|
2447 |
|
C++ | over 7 years ago | over 4 years ago | |||
|
gatecat
|
|
49 | 887 |
|
C++ | over 4 years ago | about 1 year ago | ||
|
William D. Jones
|
|
600 |
|
C++ | almost 9 years ago | over 2 years ago | |||
|
whitequark
|
|
600 |
|
C++ | almost 9 years ago | over 3 years ago | |||
|
Miodrag Milanović
|
|
65 | 486 |
|
coq | almost 7 years ago | about 1 year ago | ||
|
Jannis Harder
|
|
106 | 472 |
|
Python | about 3 years ago | over 1 year ago | ||
|
YRabbit
|
|
106 | 376 |
|
C++ | almost 4 years ago | about 1 year ago | ||
|
Pepijn de Vos
|
|
15 | 356 |
|
coq | almost 6 years ago | about 1 year ago | ||
|
github-actions[bot]
|
|
95 | 347 |
|
Make | almost 4 years ago | over 1 year ago | ||
|
Marcelina Kościelnicka
|
|
342 |
|
C++ | over 5 years ago | almost 3 years ago | |||
|
N. Engelhardt
|
|
68 | 322 |
|
coq | almost 6 years ago | over 1 year ago | ||
|
Ed Bordin
|
|
319 |
|
shell script | about 5 years ago | over 3 years ago | |||
|
Alberto Gonzalez
|
|
200 |
|
C++ | over 5 years ago | almost 5 years ago | |||
|
Martin Povišer
|
|
175 | 192 |
|
coq | over 2 years ago | over 1 year ago | ||
|
Keith Rothman
|
|
184 |
|
C++ | almost 7 years ago | about 4 years ago | |||
|
Claire Wolf
|
|
180 |
|
JavaScript | over 5 years ago | almost 5 years ago | |||
|
SergeyDegtyar
|
|
180 |
|
coq | over 6 years ago | over 5 years ago | |||