GitHub repository: verus-lang/verusfmt
Primary language: Rust
Description: An Opinionated Formatter for Verus