by daroc on (#737D2)
A few years ago, the only way to compile Rust code was using the rustc compilerwith LLVM as a backend. Since then, several projects, includingMutabah's Rust Compiler (mrustc), GCC's Rustsupport (gccrs),rust_codegen_gcc, andCranelift have made enormous progresson diversifying Rust's compiler implementations. The most recent such project,Eurydice, has amore ambitious goal: converting Rust code to clean C code. This is especiallyuseful in high-assurance software, where existing verification and compliancetools expect C. Until such tools can be updated to work with Rust, Eurydice couldprovide a smoother transition for these projects, as well as a stepping-stonefor environments that have a C compiler but no working Rust compiler. Eurydicehas been used to compile some post-quantum-cryptography routines from Rust to C,for example.