|
|||||||||
Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
---|---|---|---|---|---|---|---|---|---|
![]() |
![]() |
6582 |
|
C++ | over 12 years ago | almost 2 years ago | |||
![]() |
![]() |
5027 |
|
coq | over 12 years ago | over 2 years ago | |||
![]() |
![]() |
1784 |
|
C++ | over 11 years ago | over 10 years ago | |||
![]() |
![]() |
1591 |
|
C++ | about 12 years ago | about 10 years ago | |||
![]() |
![]() |
237 |
|
C++ | over 10 years ago | over 8 years ago | |||
![]() |
![]() |
46 |
|
Python | over 11 years ago | over 9 years ago | |||
![]() |
![]() |
25 |
|
Tcl | over 10 years ago | over 10 years ago | |||
![]() |
![]() |
23 |
|
C++ | about 9 years ago | over 6 years ago | |||
![]() |
![]() |
20 |
|
C++ | over 10 years ago | over 10 years ago | |||
![]() |
![]() |
16 |
|
C | over 9 years ago | over 8 years ago | |||
![]() |
![]() |
13 |
|
Make | over 7 years ago | over 5 years ago | |||
![]() |
![]() |
13 |
|
Python | over 4 years ago | over 4 years ago | |||
![]() |
![]() |
9 |
|
C++ | almost 11 years ago | over 10 years ago | |||
![]() |
![]() |
9 |
|
C++ | about 12 years ago | about 8 years ago | |||
![]() |
![]() |
6 |
|
Tcl | about 5 years ago | about 5 years ago | |||
![]() |
![]() |
6 |
|
C++ | over 10 years ago | over 10 years ago | |||
![]() |
![]() |
6 |
|
Make | over 11 years ago | over 11 years ago | |||
![]() |
![]() |
5 |
|
C | over 9 years ago | over 8 years ago | |||
![]() |
![]() |
4 |
|
Python | almost 9 years ago | almost 9 years ago | |||
![]() |
![]() |
4 |
|
about 11 years ago | about 11 years ago |