Eurydice：把 Rust 编译成可读 C 代码的编译器

Eurydice 是一个把 Rust 代码转换为可读 C 代码的编译器项目，作为 Inria 和 Microsoft 维护的 Aeneas 项目的一部分，始于 2023 年，代码以 MIT 与 Apache-2.0 许可证发布。