Top Repositories
rust
Empowering everyone to build reliable and efficient software.
3Rust
verified-memory-allocator
A memory allocator verified with Verus
1
verified-storage
Storage systems with verified correctness properties
1
verified-nrkernel
0Rust
vest
High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus
0
dafny
Dafny is a verification-aware programming language
0C#
Repositories
6CH
Chris-Hawblitzel/verified-nrkernelFork
No description provided.
Rust00Updated 2 months ago
CH
Chris-Hawblitzel/vestFork
High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus
00Updated 3 months ago
CH
Chris-Hawblitzel/verified-memory-allocatorFork
A memory allocator verified with Verus
10Updated 4 months ago
CH
Chris-Hawblitzel/verified-storageFork
Storage systems with verified correctness properties
10Updated 4 months ago
CH
Chris-Hawblitzel/rustFork
Empowering everyone to build reliable and efficient software.
Rust31Updated 4 years ago
CH
Chris-Hawblitzel/dafnyFork
Dafny is a verification-aware programming language
C#01Updated 6 years ago