pure-lang - not that we need more programming languages, but this one builds on LLVM as a backend, which opens up very interesting possibilities (especially in terms of performance).