JAR's Hacks
Some of JAR's Hacks
Pseudoscheme (Scheme in Common Lisp)
Terminal emulator
Solid modeling
Functional postscript (to be linked)
Scheme 48
has its own web site now
Reliable macros (to be linked - Scheme repository?)
Constructive theorem prover
Monad-parameterized Scheme interpreter (to be linked)
Scheme in Common Lisp, almost (to be linked - MIT?)
Optimistic concurrency (Crystaliz?)