c2rust

Embed C code at compile time inside Rust using C2Rust

sqlite3 Rewritten in RiiR Rust 🦀🦀🦀 /s

The curated hub for migrating to Rust and eliminating memory-safety vulnerabilities: AI-assisted rewrites, C2Rust case studies, production adoptions at scale, interop tooling, and the evidence behind it. Originally based on malisper/awesome-ai-rust-rewrites (CC0).

Static Pointer Analyzer and Transpiler from C to Safe Rust

Lua 5.4.7 transpiled to Rust via c2rust

Heuristic Semantic Analyser for C→Rust Transpilation to identify raw pointer hazards, unsafe memory layouts, and LLM-induced translation hallucinations.

Rewrite https://github.com/jschwabe42/42_minishell in rust.

Implementation of https://github.com/Jonstep101010/42_get_next_line in (unsafe) rust

C to Rust migration with a verification report. Verifier-first c2rust wrapper: flat C repo in, compiling Rust port PR + proof artifact out.