CSharp.lua is a C# to Lua compiler. Write C# then run on lua VM.

Vala - Programming language designed to take full advantage of the GLib and GNOME ecosystems, while preserving the speed of C code. Coq - Formal language and environment for programming and ...