spacewasm — NASA 开源的航天级 WebAssembly 解释器

• 这是一个符合航天飞行标准的 WebAssembly 解释器，用 Rust 编写，旨在安全运行空间任务中的代码。
• 值得关注：NASA 背书，强调高可靠性和形式化验证，star 增长快，展示 Rust 在关键任务中的潜力。
• 对 agent/工具链开发者：提供嵌入式安全沙箱参考，后端可借鉴其形式化验证方法。

项目：nasa/spacewasm · ⭐ 467 · Rust