|
|||||||||
Name | Kudos | 12 Month Commits | All Time Commits | 5 Year Trend | Primary Language | First Commit | Last Commit | ||
---|---|---|---|---|---|---|---|---|---|
Alessandro Coglio | 1035 | 11225 | Lisp | about 9 years ago | 5 days ago | ||||
Eric Smith | 2625 | 9555 | Lisp | about 8 years ago | 3 days ago | ||||
Matt Kaufmann | 226 | 3015 | Lisp | over 9 years ago | 4 days ago | ||||
ACL2 Build Server | 327 | 1121 | Lisp | almost 5 years ago | 1 day ago | ||||
Pete Manolios | 37 | 265 | Lisp | over 10 years ago | 24 days ago | ||||
MattKaufmann | 40 | 40 | Lisp | 12 months ago | 3 days ago |