/eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

Primary LanguageOCamlApache License 2.0Apache-2.0

Issues