Stars
Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays
Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
The main repo for the Medley Interlisp project. Wiki, Issues are here. Other repositories include maiko (the VM implementation) and Interlisp.github.io (web site sources)
Agda is a dependently typed programming language / interactive theorem prover.
Cross-platform virtual machine for the Smalltalk implementations Squeak and Cuis