AGRS
Tau is a programming language with blockchain built-ins. Its main feature is being consistently decidable (see tauchain.org). Agoras is an application over Tau-Chain, being first and foremost a smart currency offering predictable and verifiable contracts, and will offer several markets. The token issued on the OMNI layer is (54) is the official IDNIs Agoras Intermediate Token.