GoKawiilEurydice project compiles Rust code into readable C output
Eurydice is a new tool that converts Rust programs into C code while preserving the original code's structure, rather than optimizing or obscuring it. Started in 2023, it is part of the Aeneas formal-verification project maintained by researchers at Inria and Microsoft, and has already been used to translate post-quantum-cryptography routines from Rust into C.