Eurydice是一款开源工具，能够将Rust代码编译转换为可读的C代码。该项目由法国国家计算机科学研究机构Inria和微软员工共同维护，并接受外部贡献，是Aeneas形式化验证项目的一部分。Jonathan Protzenko是该项目最多产的贡献者。