Other experiments
Students
UW CSE 142 (C, small)
MIT 6.170 (Java, ? 5000 lines)
Testing research
Hoffman (Java, 2000 lines)
Siemens (C, ~500 lines)
Program checkers
Xi (Java, small)
ESC (Java, 500 lines)
Textbooks
Gries (Lisp, tiny)
Weiss (Java, small)
Java in a Nutshell (Java, ? 300 lines)
Medic planner (Lisp, 13,000 lines)