#aeneas

1 story

#c #compiler #eurydice #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