Pinned Repositories
autoharvest
davecturner.github.io
Github Pages
elasticsearch
Open Source, Distributed, RESTful Search Engine
elasticsearch-formal-models
TLA+ Model of the Elasticsearch data replication approach
escli
CLI tool for working with Elasticsearch
paxos-dojo
tiny-ripemd160
A tiny implementation of the RIPEMD-160 hash function
zero-copy-paxos
Implementation of Paxos
DaveCTurner's Repositories
DaveCTurner/zero-copy-paxos
Implementation of Paxos
DaveCTurner/es-proxy
DaveCTurner/json-validator
DaveCTurner/paxos-membership
Unbounded Pipelining in Dynamically Reconfigurable Paxos Clusters
DaveCTurner/aws-sdk-java
The official AWS SDK for Java.
DaveCTurner/bufferbloat-tester
Look for bufferbloat between two machines
DaveCTurner/bumblebee-Old-and-abbandoned
OUTDATED!!!!! - Replaced by "The Bumblebee Project" and "Ironhide"
DaveCTurner/caspaxos-tla
TLA+ description for the CAS-Paxos algorithm
DaveCTurner/config-explorer
DaveCTurner/dojo-bitcoin
DaveCTurner/elastic-mail-filters
Scripts to create mail filters for Elasticians
DaveCTurner/elasticsearch-generate-traffic
Send a bunch of insert/update/delete traffic into an Elasticsearch cluster
DaveCTurner/ephys-analysis
DaveCTurner/evert.github.com
my home!
DaveCTurner/glacier-sync
DaveCTurner/gryadka-js
Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
DaveCTurner/JSONTestSuite
A comprehensive test suite for RFC 7159 compliant JSON parsers
DaveCTurner/leeds-code-dojo-2018-01
DaveCTurner/leeds-code-dojo-2018-11-07
DaveCTurner/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
DaveCTurner/lucene-solr
Mirror of Apache Lucene + Solr
DaveCTurner/NOPaxos
NOPaxos consensus protocol
DaveCTurner/practical-fm
A gently curated list of companies using verification formal methods in industry
DaveCTurner/stackage
"Stable Hackage": vetted consistent packages from Hackage
DaveCTurner/StaticVsDynamic
DaveCTurner/strace-viz
Visualisation of strace output
DaveCTurner/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
DaveCTurner/twiml-haskell
TwiML library for Haskell
DaveCTurner/tz
Time zone database and code
DaveCTurner/york-code-dojo-2018-01
York Code Dojo - January 2018