#inria

1 story

#aeneas #c #compiler #eurydice #flexible array #formal verification #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