Rustコードを読みやすいCに変換するEurydice

Compiling Rust to readable C with Eurydice

Rustのコンパイラ実装が多様化する中、EurydiceはRustコードを構造を保ったままCに変換する野心的なプロジェクトだ。2023年に始まり、Aeneasプロジェクトの一環としてInriaとMicrosoftの支援で開発されている。高保証ソフトウェアでは検証・コンプライアンスツールがCを前提とするため、Eurydiceは橋渡し役となる。ただし、const genericsなどの新しいRust機能には未対応で、小規模で自己完結したプログラムに限られる。