Rust
0 stars
c2proof
C to Rust migration with a verification report. Verifier-first c2rust wrapper: flat C repo in, compiling Rust port PR + proof artifact out.
Tech Stack
RustCLIc2rustmemory-safety
C to Rust migration with a verification report. Verifier-first c2rust wrapper: flat C repo in, compiling Rust port PR + proof artifact out.