Me gustaría generar una lista de intérpretes y compiladores de lenguaje de alto nivel (por ejemplo, algo que compila código LISP a C) para microcontroladores.
He investigado un poco hasta ahora que documentaré aquí:
Lista de proyectos para ejecutar Python en microcontroladores: http://web.media.mit.edu/~nvawter/projects/pyMicro/
PyMite: http://wiki.python.org/moin/PyMite
python-on-a-chip: http://code.google.com/p/python-on-a-chip/
Esquema de axilas: http://armpit.sourceforge.net/
TinyScheme: http://tinyscheme.sourceforge.net/home.html
Intérprete mínimo de LISP: http://www.sonoma.edu/users/l/luvisi/sl5.c
ML incrustado: http://embeddedml.sourceforge.net/Site/Intro.html
eLua: http://www.eluaproject.net/
JAVA incrustado: http://en.wikipedia.org/wiki/Embedded_Java
en adelante: http://amforth.sourceforge.net/
TinyTCL: http://tinytcl.sourceforge.net/
Tiny BASIC: http://www.ittybittycomputers.com/IttyBitty/TinyBasic/index.htm
Shell AVR: http://www.instructables.com/id/AVRSH-A-Command-Interpreter-Shell-for-ArduinoAVR/
Shell de Bitlash (AVR): http://bitlash.net/wiki/start
Transterpreter (occam-pi en AVR): http://www.transterpreter.org/
Rite (Ruby incrustado) (se lanzará en 2011): http://www.slideshare.net/yukihiro_matz/rubyconf-2010-keynote-by-matz
Jal (pascal like) para PIC, compilador: http://www.casadeyork.com/jalv2/ bibliotecas: http://code.google.com/p/jallib/
.NET Micro Framework (C # y VB.NET): http://netmf.codeplex.com/
Esta es una wiki de la comunidad. No dude en agregarla a la lista.