GitHub repository: mars-research/verus
Description: Verified Rust for low-level systems code