Liquidity 简介
Liquidity，针对 Tezos 智能合约编程的高级语言，完全类型化的函数式语言，使用 OCaml 语法，并严格遵守 Michelson 安全约定，正制定一个正式的核查框架。Liquidity 特征：任何可以用 Michelson 编写的，都可以用 Liquidity 写成；局部变量值可以存储在局部变量中;；可定义和使用加权类型、记录类型等等。用 Liquidity 编写的智能合约，可以在当前的主网和 zeronet 上提交。
Liquidity 投资方
Liquidity 相关信息
TOMI
Tezos 研究与教育基金会。
Keefer Taylor
Google 资深软件开发工程师。
SABZ
Stabletez 治理代币。
Coinfirm
区块链合规服务业务，安全的结构化数据便于监管和规避欺诈风险。
Checker
基于 Tezos 实现财务逻辑的项目，类似 MakerDAO。
Lucid Mining
位于美国的 Tezos 验证节点服务商。
OCaml Pro
深入参与 Tezos 的开发工作。
Kolibri
基于 Tezos 的算法稳定币。
Tezos Projects
所有 Tezos 相关项目的最新列表。