Iron and steel may be some of the strongest materials on earth, but they’re no match for the elements. Ferrous metals start to rust after only a few hours of exposure to air and water.

provide an alternative to automatic C-to-Rust conversion schemes that produce unsafe Rust. Their focus is on providing a conversion path for industrial-grade code that's been formally verified.