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 | ||
|---|---|---|---|---|---|---|---|---|---|
Alessandro Coglio
|
|
4870 | 21065 |
|
Lisp | over 11 years ago | 2 days ago | ||
|
Eric Smith
|
|
2166 | 16420 |
|
Lisp | over 10 years ago | 4 days ago | ||
|
Matt Kaufmann
|
|
225 | 3561 |
|
Lisp | about 12 years ago | 3 days ago | ||
|
Sol Swords
|
|
59 | 2913 |
|
Lisp | over 18 years ago | 4 months ago | ||
|
Matthew J Kaufmann
|
|
2190 |
|
Lisp | over 18 years ago | about 12 years ago | |||
|
ACL2 Build Server
|
|
325 | 2011 |
|
Lisp | about 7 years ago | 3 days ago | ||
|
Jared C Davis
|
|
871 |
|
Lisp | over 18 years ago | about 12 years ago | |||
|
Grant Jurgensen
|
|
516 | 847 |
|
Lisp | about 4 years ago | 5 days ago | ||
|
Jared C. Davis
|
|
822 |
|
Lisp | about 12 years ago | over 7 years ago | |||
|
David L. Rager
|
|
651 |
|
Lisp | almost 12 years ago | over 5 years ago | |||
|
Shilpi Goel
|
|
624 |
|
Lisp | over 13 years ago | almost 3 years ago | |||
|
David L Rager
|
|
599 |
|
Lisp | almost 18 years ago | over 11 years ago | |||
|
Mihir Mehta
|
|
22 | 480 |
|
Lisp | almost 10 years ago | 4 days ago | ||
|
MattKaufmann
|
|
439 |
|
Lisp | almost 12 years ago | over 1 year ago | |||
|
pete@atlas
|
|
369 |
|
Lisp | about 9 years ago | about 6 years ago | |||
|
Eric McCarthy
|
|
129 | 353 |
|
Lisp | about 8 years ago | 5 days ago | ||
|
Temel, Mert
|
|
321 |
|
Lisp | over 4 years ago | almost 2 years ago | |||
|
Pete Manolios
|
|
2 | 287 |
|
Lisp | over 12 years ago | 7 months ago | ||
|
Mertcan Temel
|
|
1 | 243 |
|
Lisp | about 7 years ago | 7 months ago | ||
|
Harsh Raju Chamarthi
|
|
191 |
|
Lisp | over 14 years ago | over 8 years ago | |||