Vacietis works by loading C code into a Common Lisp runtime as though it were Lisp code, where it can then be compiled or evaled. The loaded C code has the same function calling convention as regular CL code and uses the same numerical representations. C memory is backed by regular Common Lisp arrays.
Vacietis comes with a libc implemented in portable Common Lisp.
Vacietis is inspired by, and contains libc code from, Scott L. Burson's Zeta-C compiler for Lisp machines.
https://github.com/vsedach/Vacietis
License: LLGPL