c2proof
Rust
0
C to Rust migration with a verification report. Verifier-first c2rust wrapper: flat C repo in, compiling Rust port PR + proof artifact out.
Project Architecture & Specifications
CategoryOpen Source Software
Primary LanguageRust
Author / MaintainerAkash Priyadarshi
Repository StatusPublic Open Source
Tech Stack
RustCLIc2rustmemory-safety