Tools for the programming language Rust Possible projects/practice💩: not-yet-awesome-rust async Rust debugger: tokio-console Code verification: verus-lang