They have an interesting governance model, but these things need lots of developer interest to be successful, I am not sure how this is going to peg against Ethereum.
I do like how they have worked in Ocaml, this might put them ahead in the formal verification landscape.
Defiantly a project to watch.