@completium/archetype (npm): Archetype is a general purpose language to develop Smart Contracts on the Tezos blockchain.
Keywords: archetype|tezos|smart-contract|completium|formal-verification