Tezos home
Archetype

Archetype

Dev Tools

Archetype is a domain-specific language to develop Smart Contracts on the Tezos blockchain, with all Michelson features, plus exclusive features (new types, state machine design, ...) to ease development, tests and formal verification.

Status: ACTIVE

Archetype Twitter