AeneasVerif/eurydice: Eurydice compiles (a decent subset of) Rust to C
- Added on 2025-12-07
- Page: https://github.com/AeneasVerif/eurydice
- See on Internet Archive
- #rust #c #compiler
Verify programs in Rust, still get C code for legacy environments.
Verify programs in Rust, still get C code for legacy environments.