starkware-libs/cairo
@starkware-libsCairo 是第一个用于为通用计算创建可证明程序的图灵完备语言。
星数
1,904
Fork 数
774
语言
Rust
许可
Apache-2.0
最后推送
6天前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
Cairo 是第一个用于为通用计算创建可证明程序的图灵完备语言。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。