Persistent and fault tolerant key-value store written in Rust

Persistent, fault tolerant key-value store written in Rust. – GitHub – sushrut141/DharmaDB: Persistent, fault tolerant key-value store written in Rust. Read more

Similar

Type-Level Programming in Rust

I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Fi... (more…)

Read more »