Eurydice는 Charon이 추출한 Rust 중간 표현을 KaRaMeL로 변환해 원본 구조와 평가 순서를 최대한 유지한 C를 만든다. 기존 C 검증 도구나 Rust 컴파일러가 없는 환경과 연결하려는 목적이다. LWN의 시험에서는 복잡한 기능과 const generics가 장애가 됐고 엄격한 별칭 최적화를 끄는 설정이 권고됐다. 저장소도 Rust 실행이 패닉 없이 끝나는 경우에만 같은 결과를 비공식적으로 보장하므로 모든 Rust 코드의 안전성을 그대로 이전하는 범용 변환기는 아니다.