Compiling Rust to readable C with Eurydice(lwn.net)
127 points by peter_d_sherman | 37 comments
LWN article describing Eurydice, a project that compiles Rust code into readable C for use with verification tools and platforms lacking a Rust compiler.
#aeneas on Hacker News
1 story tagged aeneas, newest first.