In his classic Lisp in Small Pieces, Christian Queinnec actually suggested this project: compiling Scheme to Emacs Lisp byte code. I took up the challenge with Bel instead of Scheme. Much of the code actually comes from the book but adapted to the problem at hand.
Show HN: A Bel compiler to Emacs Lisp bytecode | Heykuki News