verifast's tracked open-source repos, sorted by stars.
Research prototype tool for modular formal verification of C, Rust and Java programs
