跳到正文
原文
Show HN· nesh23·· 16 天前AI 评分5

FerroProve – Deterministic C-to-Rust lifter 发布

Show HN: FerroProve – Deterministic C-to-Rust lifter ( [forbid(unsafe_code)])

AI 导读

FerroProve 是一款新的 C-to-Rust 升级器,旨在实现确定性转换,支持 Rust 1.59.0 及以上版本,并已在 GitHub 上开源。

来源:Show HN · ferroprove.vercel.app