c2rust (cargo): C to Rust translation, refactoring, and cross-checking
Keywords: c|translation|migration|transpiler|memory-safety|rust|security-hardening