https://github.com/verus-lang/verus is similar tool for Rust (developed by previous heavy users of Dafny).