[syrak]

For verified Rust there is also https://github.com/creusot-rs/creusot

[junon]

Cool, thanks! Will have to look into this