Source Code Linking: Merging C Headers into Rust Modules
immunant.com
immunant.com
https://rust-lang.github.io/rust-bindgen/
It does not attempt to help you refactor the C code, but it is still a great way to call your C library from Rust while you are in the process of refactoring. It can also work with `no_std` environments with a bit of configuring.
What I got from this post is that c2rust wants to take it a step further and try to produce more idiomatic Rust, which is a very cool goal.
Might want to check this out:-)