MuKn

Mutual Knowledge Systems, Inc. (MuKn, pronounced “moon”) created the Glow language for simple, safe DApp development (https://glow-lang.org/). Glow is syntactically like JavaScript with some annotations, but semantically models a set of (possibly adversarial) participants interacting via a shared consensus (e.g., a blockchain).