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