heidihoward

distributed-consensus-reading-list

A list of papers about distributed consensus.

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-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

epaxos

epaxos

Examples

A collection of TLA+ specifications of varying complexities

runway-model-ios

Runway model for the Ios consensus algroithm

rwe-dns-server

runway-model-randcounter

A simple extension of the counter model for http://runway.systems

apalache

APALACHE: symbolic model checker for TLA+

apalache-tests

Benchmarks for apalache

azure-docs

Open source documentation of Microsoft Azure

CCF

Confidential Consortium Framework

ccf-app-template

Template repository for C++ applications for CCF

DrTLAPlus

Dr. TLA+ series

github-action-markdown-link-check

Check all links in markdown files if they are alive or dead. 🔗✔️

heidihoward.github.io

merklecpp

A C++ library for creation and manipulation of Merkle trees

mirage-bootvar

Read MirageOS unikernel boot parameters in Xen

mirage-mimic

A local unikernel that imitates remote hosts

mirage-skeleton

Build skeleton and examples of simple Mirage apps

ocaml-dns

OCaml implementation of the DNS protocol

scitt-ccf-ledger

Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)

tla-bin

Command line binaries for the TLA+ language

website

Code behind the JSys website.

zk_eval

zk-smoketest.py provides a simple smoketest client for a ZooKeeper ensemble