Arc, a LISP written in Racket LISP [2] by Paul Graham
Several (tiny) LISP and Scheme implementations [5]
Alan Kay wrote and lectured many times about the LISP eval implementation in itself on page 13 of the LISP 1.5 Manual [6] as the "Maxwells equations of software" [3]
There is an derivation of this idea, a Smalltalk eval written in itself, see chapter IV and Smalltalk 71 [4].
My Z3S5 Lisp[1] is rather big, it's intended to integrate well into Go programs, but it's based on the 1-page Nukata Lisp[2]. Go creates much larger binaries than C, though.
It looks like your lisp has a lot of built-in/primitives, I'll have to explore!
I also wrote a simple lisp in go, in my case I added LSP support for completion and help-on-hover, which was a fun addition I've not seen in anything else.
you have some things there that i didn't know about, which is pretty cool. however, i think you need to put more work into this. sicl, clozure, armed bear are common lisp implementations. you also left out some pretty big ones - sbcl and ecl. for more common lisp libraries see https://github.com/CodyReichert/awesome-cl
(you can find most small LISPs there, reply here if you know more to add)