MIDletPascal is specifically suited for development of J2ME midlets. It's compiler translates Pascal source code directly into Java microedition bytecode.
Tsunami is an open-source high performance computing language. With it you can write streaming data-parallel algorithms that utilize GPGPUs for orders-of-magnitude speed-up with the ease of writing sequential algorithms.
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.