GitHub repository: verus-lang/rust-analyzer
Primary language: Rust
Description: A Rust compiler front-end for IDEs