IntuitionAmiga/rust2ada

A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including itself.

3 best points · 0 comments · 1 Hacker News post · 21 GitHub stars · View on GitHub

Hacker News discussions

• Rust2ada: Converts Rust code to formally verifiable Ada, including itself (3 points, 0 comments, by ajdude, 2025-04-28)