|
|||||||||
Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
---|---|---|---|---|---|---|---|---|---|
github-actions[bot] | 106 | 313 | Make | over 2 years ago | 4 months ago | ||||
Claire Xen | 25 | 112 | coq | over 3 years ago | 4 months ago | ||||
Claire Xenia Wolf | 10 | 156 | TeX/LaTeX | over 3 years ago | 4 months ago | ||||
David Ventura | 1 | 1 | Python | 4 months ago | 4 months ago | ||||
YRabbit | 131 | 334 | C++ | almost 3 years ago | 4 months ago | ||||
gatecat | 74 | 870 | C++ | about 3 years ago | 4 months ago | ||||
Miodrag Milanovic | 464 | 2327 | C++ | over 6 years ago | 4 months ago | ||||
Miodrag Milanović | 67 | 457 | coq | almost 6 years ago | 4 months ago | ||||
Martin Povišer | 141 | 141 | coq | over 1 year ago | 4 months ago | ||||
N. Engelhardt | 77 | 303 | coq | almost 5 years ago | 4 months ago | ||||
Jannis Harder | 151 | 418 | Python | about 2 years ago | 4 months ago | ||||
Merry | 7 | 7 | C++ | 5 months ago | 4 months ago | ||||
myrtle | 48 | 120 | C++ | almost 2 years ago | 4 months ago | ||||
Henri Nurmi | 3 | 3 | C++ | 5 months ago | 5 months ago | ||||
Lofty | 45 | 73 | C++ | almost 4 years ago | 5 months ago | ||||
Krystine Sherwin | 105 | 105 | Python | about 1 year ago | 5 months ago | ||||
Pepijn de Vos | 8 | 346 | coq | over 4 years ago | 5 months ago | ||||
Catherine | 31 | 49 | C++ | over 2 years ago | 5 months ago | ||||
Dag Lem | 14 | 23 | C++ | over 1 year ago | 5 months ago | ||||
Balint Cristian | 1 | 2 | C++ | about 3 years ago | 5 months ago |