David Turner's repositories
zero-copy-paxos
Implementation of Paxos
paxos-membership
Unbounded Pipelining in Dynamically Reconfigurable Paxos Clusters
aws-sdk-java
The official AWS SDK for Java.
bufferbloat-tester
Look for bufferbloat between two machines
bumblebee-Old-and-abbandoned
OUTDATED!!!!! - Replaced by "The Bumblebee Project" and "Ironhide"
caspaxos-tla
TLA+ description for the CAS-Paxos algorithm
elastic-mail-filters
Scripts to create mail filters for Elasticians
elasticsearch-generate-traffic
Send a bunch of insert/update/delete traffic into an Elasticsearch cluster
evert.github.com
my home!
gryadka-js
Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
JSONTestSuite
A comprehensive test suite for RFC 7159 compliant JSON parsers
lets-prove-leftpad
Proving leftpad correct in a dozen different ways
lucene-solr
Mirror of Apache Lucene + Solr
practical-fm
A gently curated list of companies using verification formal methods in industry
strace-viz
Visualisation of strace output
twiml-haskell
TwiML library for Haskell
york-code-dojo-2018-01
York Code Dojo - January 2018