Contributors: Listing
Analyzed
1 day
ago.
based on code collected
1 day
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Nikolaj Bjorner
|
|
9291 |
|
C++ | almost 13 years ago | almost 2 years ago | |||
|
Nikolaj Bjorner
|
|
757 | 2536 |
|
C++ | over 3 years ago | 2 days ago | ||
|
Christoph M. Winters...
|
|
1 | 2081 |
|
C++ | almost 13 years ago | 4 months ago | ||
|
Lev Nachmanson
|
|
215 | 1461 |
|
C++ | over 8 years ago | 12 days ago | ||
|
Leonardo de Moura
|
|
762 |
|
C++ | almost 13 years ago | over 10 years ago | |||
|
Murphy Berzish
|
|
630 |
|
C++ | about 10 years ago | over 4 years ago | |||
Nuno Lopes
|
|
16 | 587 |
|
C++ | almost 13 years ago | 17 days ago | ||
|
Arie Gurfinkel
|
|
366 |
|
C++ | over 9 years ago | about 2 years ago | |||
|
Dan Liew
|
|
277 |
|
CMake | almost 10 years ago | over 7 years ago | |||
|
Kenneth McMillan
|
|
238 |
|
C++ | over 12 years ago | about 8 years ago | |||
|
Lev
|
|
196 |
|
C++ | about 7 years ago | over 6 years ago | |||
|
Bruce Mitchener
|
|
167 |
|
C++ | over 7 years ago | over 1 year ago | |||
|
Anh-Dung Phan
|
|
71 |
|
C++ | almost 12 years ago | almost 12 years ago | |||
|
Margus Veanes
|
|
49 |
|
C++ | over 5 years ago | almost 4 years ago | |||
|
dependabot[bot]
|
|
9 | 47 |
|
over 3 years ago | 15 days ago | |||
|
Mikolas Janota
|
|
41 |
|
C++ | almost 10 years ago | about 9 years ago | |||
|
nilsbecker
|
|
39 |
|
C++ | over 7 years ago | about 6 years ago | |||
|
Don Syme
|
|
38 | 39 |
|
C++ | over 4 years ago | 12 days ago | ||
|
Miguel Angelo Da Ter...
|
|
38 |
|
C++ | about 8 years ago | almost 8 years ago | |||
|
Clemens Eisenhofer
|
|
11 | 38 |
|
C++ | almost 4 years ago | 8 months ago | ||