sm64_isabelle64_old
项目状态: 未知Isabelle 64 1.3 (WIP) source code, using SM64 Decompilation Project https://github.com/n64decomp/sm64
- 目标软件或硬件
- 工作类型
- 主要公开仓库
- github.com/aloxado320/sm64_isabelle64_old
按最近记录的仓库星标数排序。星标反映关注度，不代表完成进度。未获取到的数值显示为未知。
仓库元数据需要更新。仍可查看已缓存的项目信息。
介绍与范围
Isabelle 64 1.3 (WIP) source code, using SM64 Decompilation Project https://github.com/n64decomp/sm64
贡献接收情况
贡献政策未知
- AI 辅助贡献政策
- 未说明
有文档依据的贡献者系统
尚无贡献环境记录
已报告进度
尚未报告进度
源码、构建与发布
- 打开仓库 · github.comgithub.com/aloxado320/sm64_isabelle64_old