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