David Turner's repositories
tiny-ripemd160
A tiny implementation of the RIPEMD-160 hash function
elasticsearch
Open Source, Distributed, RESTful Search Engine
elasticsearch-formal-models
TLA+ Model of the Elasticsearch data replication approach
jstack2json
Convert jstack output to JSON for easier analysis
paxos-membership
Unbounded Pipelining in Dynamically Reconfigurable Paxos Clusters
timezone-diagram
Library for drawing timezone diagrams
tla-examples
Examples of TLA proofs
alarmclock
Device for running an action at (i.e. shortly after) a certain time, which can be used to implement things like time-based cache expiry.
bank-holidays-england
Calculation of bank holidays in England and Wales
CodeGolfJan19
3rd round of code golf
davecturner.github.io
Github Pages
elasticsearch-support-diagnostics
Support diagnostics utility for elasticsearch and logstash
es-stats-viz
Visualise some stats from Elasticsearch
gradle-loop
Run gradle in a loop until it fails
netty
Netty project - an event-driven asynchronous network application framework
opentelemetry-java
OpenTelemetry Java SDK
stack-docs
Elastic Stack Documentation
stress-ng
This is a mirror of the upstream project at https://kernel.ubuntu.com/git/cking/stress-ng.git/ - stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.