leo

1 个项目 · ⭐ 4.8k

ProvableHQ/leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Rust ⭐ 4.8k ⑂ 717 GPL-3.0 · 3 天前推送

compiler programming-language

3 天前