Pinned Repositories
arcon
A Runtime for Writing Real-time Analytics Applications in Rust
arcon_taxi
auto-quorum
cda-group.github.io
omnipaxos
OmniPaxos is a distributed log implemented as a Rust library.
omnipaxos-artifacts
omnipaxos-kv
omnipaxos-playground
Playground to visualize OmniPaxos.
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-tla
A TLA+/PlusCal specification of OmniPaxos.
haraldng's Repositories
haraldng/omnipaxos
OmniPaxos is a distributed log implemented as a Rust library.
haraldng/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.
haraldng/omnipaxos-playground
Playground to visualize OmniPaxos.
haraldng/omnipaxos-kv
haraldng/omnipaxos-artifacts
haraldng/omnipaxos-tla
A TLA+/PlusCal specification of OmniPaxos.
haraldng/arcon
A Runtime for Writing Real-time Analytics Applications in Rust
haraldng/arcon_taxi
haraldng/auto-quorum
haraldng/cda-group.github.io
haraldng/cockroach
CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.
haraldng/kompact
A Component System in Rust
haraldng/kompics
Kompics - A message-passing component model for building distributed systems
haraldng/kompicsbenches
Kompics Benchmarks
haraldng/preprocessor
haraldng/etcd
Distributed reliable key-value store for the most critical data of a distributed system
haraldng/lfu-cache
A rust implementation of a Least Frequently Used cache
haraldng/post-mortems
A collection of postmortems. Sorry for the delay in merging PRs!
haraldng/raft
Raft library for maintaining a replicated state machine
haraldng/tihku
Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.
haraldng/wasp_SE_course
Resources and student assignments for the WASP Software Engineering course