Pinned Repositories
fault-tolerant-benchmarks
Fault-tolerant distributed algorithms encoded in a formal language
fuse-version-control-fs
An implementation of a virtual file system using FUSE, which supports basic version-control functionalities.
Kondo
rust-io-template
Rust template for quick input processing.
verified-memory-allocator
A memory allocator verified with Verus.
verus
Verified Rust for low-level systems code
lduranovic's Repositories
lduranovic/fuse-version-control-fs
An implementation of a virtual file system using FUSE, which supports basic version-control functionalities.
lduranovic/fault-tolerant-benchmarks
Fault-tolerant distributed algorithms encoded in a formal language
lduranovic/Kondo
lduranovic/rust-io-template
Rust template for quick input processing.
lduranovic/verified-memory-allocator
A memory allocator verified with Verus.
lduranovic/verus
Verified Rust for low-level systems code