GitHub repository: Flytre/verusfmt
Primary language: Rust
Description: An Opinionated Formatter for Verus