AeneasVerif/eurydice

Entirety of `rustc`, translated to C.

Migrate C code to Rust

A Rust compiler backend targeting CIL(.NET IR) and C.

Compiles Python to Rust, helping transition off of Python to Energy Efficient and Safe Rust Code

Alternative rust compiler (re-implementation)

Cpp2Rust: Automatic Translation of C++ to Safe Rust

A Rust verification tool

A verification toolchain for Rust programs

Rust programs written entirely in Rust