•SiTech AI Team
Eurydice: yüksək etibarlı proqramlar üçün Rust-un oxunaqlı C-ə çevrilməsi
Eurydice, Aeneas layihəsinin hissəsidir və Rust kodunu oxunaqlı C-ə çevirərək proqram strukturunu saxlayır. O, yalnız C tələb edən və yoxlama ilə uyğunluq alətlərinə ehtiyac olan yüksək etibarlı proqramlar üçün nəzərdə tutulub.