Competition Actus - Glow-Lang/glow GitHub Wiki

Actus provides formal encoding of actual legal contracts for financial exchanges.

It does not run smart contracts on blockchain, but should probably be a big inspiration for smart contracts that would.

See also CommonAccord, Lexon.