开源序
GitHub 开源项目排行
返回榜单
A
aleo-labs-protocol /
leo
🦁 Leo 编程语言。用于经过形式验证的零知识应用程序的编程语言
仓库 Star
4,823
总榜 #12,542
Fork
716
最近推送
3 天前更新
仓库创建
2020 年创建
应用与完整系统
开发工具
Rust
GPL-3.0 · 需开源衍生作品
查看源码
收藏
加入对比
加入收藏夹
用途与标签
介绍
README
开发者工具
# compiler
# leo
# programming-language
# zero-knowledge
# zksnarks
