AeneasVerif / eurydiceLinks

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

Alternatives and similar repositories for eurydice

Users that are interested in eurydice are comparing it to the libraries listed below

Sorting: