RELIC (Retargetable Embedded Language Independent Compiler) is a compiler tool chain with the goal of complete language and processor independence for embedded microcontrollers and microprocessors.
ELCO stands for Embedded Lisp COmpiler or Esdens Lisp COmpiler. The goal is to create a lisp compiler for embedded 32bit architectures. (i.e. ARM) With this compiler you are able to write lisp code on a naked chip. No OS needed.