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