开发工具与开源✦编辑整理
btcd
使用 Go 实现的比特币全节点。
☆ 6,711 +0 / 7d查看条目
用途介绍
oralang/ora 是公开 GitHub 仓库，主要语言为 Zig。最近记录为 29 个星标及 1 个分支。 主题：ethereum, evm, formal verification, language, 智能合约。 使用前请阅读文档、许可及当前问题记录。
Smart contract language with formal verification. Built with Zig for safety and performance
GitHub 仓库
- 星标
- 29
- 新增星标 · 7 天
- +0
- 分支副本
- 1
- 主要编程语言
- Zig
- 仓库许可证
- GPL-3.0
- 最近代码推送
- 2026年10月15日
热度基于 GitHub 星标。7 天增长需积累完整一周的本地快照。这是本站收录集合，不是 GitHub 官方趋势榜。
来源与更新
GitHub ↗来源已刷新 · 2026年10月15日
导入条目附有来源链接。收录用于发现服务，不代表推荐。