GitHub repository: verus-lang/verus
Primary language: Rust
Description: Verified Rust for low-level systems code