Heidi Howard

distributed-consensus-reading-list. A list of papers about distributed consensus.

ocaml-raft. Implementation of Raft consensus algorithm

ios. Reliable distributed agreement service for the cloud

leaderelection-tlaplus. An example TLA+ specification for a simple "raft style" leader election protocol

pbft-tlaplus. Formal specification of PBFT in TLA+

ocaml-raft-data. Data collected from the ocaml-raft simulator

ocaml-dns-examples. introduction to ocaml-dns for MirageOS

coracle. Simulation of consensus algorithms in heterogeneous networks

systems-research. Introduction to Computer Systems Research

etcd_eval. Simple client for benchmarking etcd v3

opam. OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

epaxos. epaxos

rwe-dns-server. OCaml

Examples. A collection of TLA+ specifications of varying complexities

runway-model-ios. Runway model for the Ios consensus algroithm