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
|
|
677 | 2594 |
|
C++ | over 3 years ago | 2 days ago | ||
|
Lev Nachmanson
|
|
223 | 1517 |
|
C++ | over 8 years ago | 8 days ago | ||
|
dependabot[bot]
|
|
17 | 56 |
|
over 3 years ago | 8 days ago | |||
|
Josh Berdine
|
|
11 | 39 |
|
OCaml | about 13 years ago | 5 days ago | ||
|
Copilot
|
|
31 | 31 |
|
C++ | 5 months ago | 16 days ago | ||
|
Guido MartÃnez
|
|
1 | 3 |
|
C++ | over 2 years ago | 9 days ago | ||