Discover @haraldng Open Source projects

Harald Ng (@haraldng)

haraldng

Stars
174
Global Rank 133,228 (Top 5 %)
Followers 19
Following 4
Registered over 7 years ago
Most used languages

Rust
60.0 %

Shell
20.0 %

TLA 20.0 %
Location 🇸🇪 Sweden
Country Total Rank 1,383
Country Ranking

TLA 1

Rust
46

Shell
458

omnipaxos

OmniPaxos is a distributed log implemented as a Rust library.

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.

omnipaxos-playground

Playground to visualize OmniPaxos.

omnipaxos-tla

A TLA+/PlusCal specification of OmniPaxos.

omnipaxos-artifacts