Discover @heidihoward Open Source projects

Heidi Howard (@heidihoward)

heidihoward

Stars
2,486
Global Rank 12,145 (Top 0.5 %)
Followers 494
Following 142
Registered over 12 years ago
Most used languages

OCaml
37.5 %

Go
25.0 %

TLA 12.5 %

Python
12.5 %

JavaScript
12.5 %
Location 🇬🇧 United Kingdom
Country Total Rank 628
Country Ranking

TLA 2

OCaml
28

Go
544

Python
9,363

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

ocaml-dns-examples

introduction to ocaml-dns for MirageOS

ocaml-raft-data

Data collected from the ocaml-raft simulator

systems-research

Introduction to Computer Systems Research

etcd_eval

Simple client for benchmarking etcd v3

rwe-dns-server

runway-model-ios

Runway model for the Ios consensus algroithm