creusot-rs's tracked open-source repos, sorted by stars.
Creusot helps you prove your Rust code is correct.
