Compiling Rust to readable C with Eurydice

Automated excerpt

The most recent such project, more ambitious goal: converting Rust code to clean C code. Until such tools can be updated to work with Rust, Eurydice could for environments that have a C compiler but no working Rust compiler. It's part of the verification tools to Rust code.

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.