Eurydice compiles Rust into clean, readable C code
Compiling Rust to readable C with Eurydice
Eurydice, part of the Aeneas project, converts Rust into C while preserving code structure, unlike rustc's LLVM output. It targets high-assurance software where verification tools expect C. The tool handles generics and dynamically sized types, though it currently works best for small, self-contained programs. It has been used for post-quantum cryptography routines.
Whether this C code counts as "readable" is probably a matter of individual taste.
- chias
What an excellent choice of product name :D
"You're da C"
- Neywiny
I wish this covered more features specific to rust that make it more runtime safer not just compile time safer. I guess by the time it's IR it's the same but moving it back up to C would be nice to see. Like bounds checking.
- fithisux
D and C++ would benefit from something like this.