Lambda the Ultimate

Everything, with a Smalltalk and Lisp slant, with an eye towards language-OS integration (but not ignoring for a second what actual everyday-used OSes actually need to be like). See http://www.TUNES.org/ or also http://www.slatelanguage.org