Me gustaría generar una lista de intérpretes y compiladores de lenguajes de alto nivel (por ejemplo, algo que compile LISP a código C) para microcontroladores.
Hasta ahora he hecho un poco de investigación 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 axilar: http://armpit.sourceforge.net/
TinyScheme: http://tinyscheme.sourceforge.net/home.html
Intérprete LISP mínimo: http://www.sonoma.edu/users/l/luvisi/sl5.c
ML integrado: http://embeddedml.sourceforge.net/Site/Intro.html
eLua: http://www.eluaproject.net/
JAVA integrado: http://en.wikipedia.org/wiki/Embedded_Java
amforth: http://amforth.sourceforge.net/
TinyTCL: http://tinytcl.sourceforge.net/
Tiny BASIC: http://www.ittybittycomputers.com/IttyBitty/TinyBasic/index.htm
Carcasa AVR: http://www.instructables.com/id/AVRSH-A-Command-Interpreter-Shell-for-ArduinoAVR/
Shell Bitlash (AVR): http://bitlash.net/wiki/start
Transterpreter (occam-pi en AVR): http://www.transterpreter.org/
Rite (Rubí incrustado) (saldrá a la venta en 2011): http://www.slideshare.net/yukihiro_matz/rubyconf-2010-keynote-by-matz
Jal (pascal like) para PICs, 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 comunitaria: siéntase libre de añadir cosas a la lista.