A programming language specializing in cross-compiling to lots of other languages - View it on GitHub