immunant/c2rust

github.com ↗

C to Rust translator and cross checker built atop Clang/LLVM.