#eurydice

1 story

#aeneas #c #compiler #flexible array #formal verification #inria #intermediate representation #microsoft #monomorphization #post-quantum-cryptography #rust

Compiling Rust to readable C with Eurydice
Eurydice converts Rust code to clean C for high-assurance software.
Lwn · 1m