> "something like C"

SBCL? Or ECL (compiles to C), CLASP (C++, LLVM)?

The older ThinLisp? (compiles a subset of CL to C) https://github.com/ska80/thinlisp

The very new NPT, a CL implementation in C? https://github.com/nptcl

> Static typing for ahead-of-time more-correct programs

the Coalton library. A ML/Haskell as a CL library. https://github.com/coalton-lang/coalton/

> Static typing for faster or leaner programs

SBCL

> WebAssembly

Common Lisp running natively over WebAssembly: https://news.ycombinator.com/item?id=31590819 (very much POC)

I know, I know, but he didn't mention any of these in the blog post, nor any CL project. Justice is done.