Pinned Repositories
coracle
Simulation of consensus algorithms in heterogeneous networks
distributed-consensus-reading-list
A list of papers about distributed consensus.
etcd_eval
Simple client for benchmarking etcd v3
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
Implementation of Raft consensus algorithm
ocaml-raft-data
Data collected from the ocaml-raft simulator
systems-research
Introduction to Computer Systems Research
CCF
Confidential Consortium Framework
heidihoward's Repositories
heidihoward/distributed-consensus-reading-list
A list of papers about distributed consensus.
heidihoward/ios
Reliable distributed agreement service for the cloud
heidihoward/leaderelection-tlaplus
An example TLA+ specification for a simple "raft style" leader election protocol
heidihoward/ocaml-dns-examples
introduction to ocaml-dns for MirageOS
heidihoward/systems-research
Introduction to Computer Systems Research
heidihoward/coracle
Simulation of consensus algorithms in heterogeneous networks
heidihoward/etcd_eval
Simple client for benchmarking etcd v3
heidihoward/epaxos
epaxos
heidihoward/Examples
A collection of TLA+ specifications of varying complexities
heidihoward/runway-model-ios
Runway model for the Ios consensus algroithm
heidihoward/rwe-dns-server
heidihoward/apalache
APALACHE: symbolic model checker for TLA+
heidihoward/apalache-tests
Benchmarks for apalache
heidihoward/azure-docs
Open source documentation of Microsoft Azure
heidihoward/CCF
Confidential Consortium Framework
heidihoward/ccf-app-template
Template repository for C++ applications for CCF
heidihoward/DrTLAPlus
Dr. TLA+ series
heidihoward/github-action-markdown-link-check
Check all links in markdown files if they are alive or dead. 🔗✔️
heidihoward/heidihoward.github.io
heidihoward/merklecpp
A C++ library for creation and manipulation of Merkle trees
heidihoward/mirage-bootvar
Read MirageOS unikernel boot parameters in Xen
heidihoward/mirage-mimic
A local unikernel that imitates remote hosts
heidihoward/mirage-skeleton
Build skeleton and examples of simple Mirage apps
heidihoward/ocaml-conduit
Resolve URIs into communication channels for Async or Lwt
heidihoward/ocaml-dns
OCaml implementation of the DNS protocol
heidihoward/ocaml-tls
TLS in pure OCaml
heidihoward/runway-model-randcounter
A simple extension of the counter model for http://runway.systems
heidihoward/tla-bin
Command line binaries for the TLA+ language
heidihoward/website
Code behind the JSys website.
heidihoward/zk_eval
zk-smoketest.py provides a simple smoketest client for a ZooKeeper ensemble