Contributors: Listing
Analyzed
1 day
ago.
based on code collected
2 days
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Nikolaj Bjorner
|
|
9291 |
|
C++ | almost 14 years ago | almost 3 years ago | |||
|
Nikolaj Bjorner
|
|
1156 | 3654 |
|
C++ | over 4 years ago | 3 days ago | ||
|
Christoph M. Winters...
|
|
2081 |
|
C++ | almost 14 years ago | over 1 year ago | |||
|
Lev Nachmanson
|
|
312 | 1770 |
|
C++ | over 9 years ago | 3 days ago | ||
|
Leonardo de Moura
|
|
762 |
|
C++ | almost 14 years ago | over 11 years ago | |||
Nuno Lopes
|
|
46 | 632 |
|
C++ | almost 14 years ago | 3 months ago | ||
|
Murphy Berzish
|
|
630 |
|
C++ | about 11 years ago | over 5 years ago | |||
|
Copilot
|
|
605 | 629 |
|
C++ | about 1 year ago | 3 days ago | ||
|
copilot-swe-agent[bot]
|
|
425 | 425 |
|
C++ | 8 months ago | 6 months ago | ||
|
Arie Gurfinkel
|
|
366 |
|
C++ | over 10 years ago | about 3 years ago | |||
|
Dan Liew
|
|
277 |
|
CMake | almost 11 years ago | over 8 years ago | |||
|
Kenneth McMillan
|
|
238 |
|
C++ | over 13 years ago | almost 9 years ago | |||
|
dependabot[bot]
|
|
152 | 196 |
|
over 4 years ago | 4 days ago | |||
|
Lev
|
|
196 |
|
C++ | about 8 years ago | over 7 years ago | |||
|
Bruce Mitchener
|
|
167 |
|
C++ | over 8 years ago | over 2 years ago | |||
|
Margus Veanes
|
|
23 | 72 |
|
C++ | over 6 years ago | 11 days ago | ||
|
Anh-Dung Phan
|
|
71 |
|
C++ | almost 13 years ago | over 12 years ago | |||
|
Josh Berdine
|
|
16 | 48 |
|
OCaml | almost 14 years ago | 8 months ago | ||
|
Clemens Eisenhofer
|
|
9 | 47 |
|
C++ | almost 5 years ago | 11 days ago | ||
|
Mikolas Janota
|
|
41 |
|
C++ | over 10 years ago | about 10 years ago | |||