Corrode: C to Rust translator written in Haskell (github.com)