Comment by CrunchyJams

There's also AxLang. It's a core DSL based on Scala. Enables formal verification. Live demo on the public ETH mainnet:

https://medium.com/axoni/axlang-formally-verifiable-smart-co...