Worth mentioning that there is at least one other language being built on top of the EVM:

https://github.com/pirapira/bamboo

This one takes a strict state machine approach, and aims to solve some of the tricky reentry and state tracking problems of Solidity.