Baike.dev
All toolsTrendingOpen sourceNewsSubmit
Log in
< 返回工具列表
L

leo

> 编程语言
开源

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

4.8K stars0 点赞0 次浏览
访问官网GitHub

工具介绍

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

> 标签

Rustcompilerleoprogramming-languagezero-knowledge

暂无评论，来聊聊你的看法吧

> 工具信息

发布日期2026年8月1日
最后更新2026年8月1日
分类编程语言
定价开源

> 相关工具

T
TypeScript
JavaScript 的超集，为前端与全栈提供静态类型
P
Python
通用编程语言，广泛用于 Web、数据与 AI
G
Go
Google 推出的简洁高效系统语言
Baike.dev

baike.dev helps you discover great languages, frameworks, databases, DevOps and cloud-native tools.

Quick links

  • Home
  • All tools
  • Trending
  • Open source

About

  • About us
  • Community
  • News

Contribute

Found a great developer tool? Share it with the community.

Submit a tool
© 2026 baike.dev Developer EncyclopediaUpdated daily · Discover great developer tools