C to Rust translator and cross checker built atop Clang/LLVM.
A C to Rust translator written in Haskell.