Corrode: C to Rust translator written in Haskell387 points by adamnemecekRead the articleDiscussion on Hacker News