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