Worth mentioning that there is at least one other language being built on top of the EVM: https://github.com/pirapira/bamboo https://github.com/pirapira/bamboo

Worth mentioning that there is at least one other language being built on top of the EVM: https://github.com/pirapira/bamboo 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.