Ecency
IoLite: smart contracts in human languages