GitHub repository: verus-lang/verified-ironkv
Primary language: Rust
Description: Verus-verified implementation of Ironfleet Sharded Hash Table key-value store