Stockholm

Harald Ng

Expert
@haraldng

omnipaxos. OmniPaxos is a distributed log implemented as a Rust library.

222

omnipaxos-rocksdb-tutorial. This is a small demo of how to transform a simple single-server RocksDB service written in Rust into a distributed version using OmniPaxos.

16

omnipaxos-playground. Playground to visualize OmniPaxos.

6

omnipaxos-tla. A TLA+/PlusCal specification of OmniPaxos.

4

omnipaxos-kv. Python

3

omnipaxos-artifacts. Rust

2
6
Apply