GitHub repository: verus-lang/verus-analyzer
Primary language: Rust
Description: A Verus compiler front-end for IDEs (derived from rust-analyzer)