Archetype 简介
Archetype 是一种领域特定语言（DSL），用于在 Tezos 区块链上开发智能合约，尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
Archetype 相关信息
Tezsure
基于 Tezos 的去中心化保险市场。
Checker
基于 Tezos 实现财务逻辑的项目，类似 MakerDAO。
tezocracy
Paradigm Fund 支持的 Tezos 验证节点服务。
OneOf
基于 Tezos 的音乐 NFT 平台。
Keefer Taylor
Google 资深软件开发工程师。
MyTezosBaker
所有你需要知道的 Tezos Baker 列表。
hic et nunc
Tezos 上的实验性加密艺术项目。
Tezos Capital
为 PoS 世界提供可靠的金融服务。
Hover Labs
去中心化产品、基础架构与服务的创建者。