The PGMFI project has as its goal total understanding of the computerized systems such as ECUs, ABS controllers and other devices present in Honda vehicles. Currently, the Non-Commercial-Sharealike license is reccomended for all releases.
ThinLisp is a practical dialect of lisp for real world applications. You develop in Common Lisp, you deploy in C. ThinLisp programs are as fast as C, by design. Used for a decade in million line systems.
Kawa is a full Scheme implementation. It implements almost all of R5RS (for exceptions see Restrictions), plus some extensions.