Nimrod Programming Language
Nimrod is a statically typed, imperative programming language that tries to give the programmer ultimate power without compromises on runtime efficiency. This means it focuses on compile-time mechanisms in all their various forms. via Nimrod Programming Language. I like the look of this – the syntax is python-esque and it outputs fairly small binaries.