Contributors: Listing
Analyzed
about 8 hours
ago.
based on code collected
about 9 hours
ago.
|
|
|||||||||
| Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
|---|---|---|---|---|---|---|---|---|---|
Alessandro Coglio
|
|
1027 | 11317 |
|
Lisp | about 9 years ago | 1 day ago | ||
|
Eric Smith
|
|
2683 | 9846 |
|
Lisp | about 8 years ago | 1 day ago | ||
|
Matt Kaufmann
|
|
220 | 3037 |
|
Lisp | over 9 years ago | 14 days ago | ||
|
Sol Swords
|
|
123 | 2685 |
|
Lisp | over 16 years ago | 19 days ago | ||
|
Matthew J Kaufmann
|
|
2190 |
|
Lisp | over 16 years ago | over 9 years ago | |||
|
ACL2 Build Server
|
|
300 | 1143 |
|
Lisp | almost 5 years ago | 2 days ago | ||
|
Jared C Davis
|
|
871 |
|
Lisp | over 16 years ago | over 9 years ago | |||
|
Jared C. Davis
|
|
822 |
|
Lisp | over 9 years ago | over 5 years ago | |||
|
David L. Rager
|
|
651 |
|
Lisp | over 9 years ago | over 3 years ago | |||
|
Shilpi Goel
|
|
619 |
|
Lisp | over 11 years ago | about 1 year ago | |||
|
David L Rager
|
|
599 |
|
Lisp | over 15 years ago | about 9 years ago | |||
|
Mihir Mehta
|
|
2 | 451 |
|
Lisp | over 7 years ago | 5 months ago | ||
|
MattKaufmann
|
|
420 |
|
Lisp | over 9 years ago | about 1 year ago | |||
|
pete@atlas
|
|
369 |
|
Lisp | almost 7 years ago | almost 4 years ago | |||
|
Temel, Mert
|
|
64 | 317 |
|
Lisp | over 2 years ago | about 2 months ago | ||
|
Pete Manolios
|
|
43 | 271 |
|
Lisp | over 10 years ago | 26 days ago | ||
|
Mertcan Temel
|
|
11 | 242 |
|
Lisp | over 4 years ago | 4 months ago | ||
|
Harsh Raju Chamarthi
|
|
191 |
|
Lisp | about 12 years ago | over 6 years ago | |||
|
Eric McCarthy
|
|
24 | 178 |
|
Lisp | almost 6 years ago | 2 months ago | ||
|
Jared Davis
|
|
172 |
|
Lisp | almost 10 years ago | about 8 years ago | |||