Common Lisp compiler and runtime
A high performance Common Lisp compiler. In addition to standard ANSI Common Lisp, it provides an interactive environment including an a debugger, a statistical profiler, a code coverage tool, and many other extensions.
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.
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...