People may also be interested in BitC[0] in regards to verified lisp languages.

[0]: http://yamm.finance/wiki/BitC.html (the best summary I could find)