IntuitionAmiga / rust2adaView on GitHub
A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including itself.
21Apr 22, 2025Updated 11 months ago

Alternatives and similar repositories for rust2ada

Users that are interested in rust2ada are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?