Jack Vanlightly's repositories
bookkeeper-tlaplus
A TLA+ specification of the Apache BookKeeper replication protocol
ChaosTestingCode
Code for doing chaos testing on various distributed systems
raft-tlaplus
TLA+ specifications for Raft and variants
kafka-tlaplus
TLA+ specifications for Kafka related algorithms
RabbitMq-PoC-Code
Just proof of concept code for working with the C# RabbitMq client
vsr-tlaplus
TLA+ specifications related to Viewstamped Replication
RabbitTestTool
A tool for running performance and correctness experiments on RabbitMQ
maelstrom-playground
Playing with Jepsen Maelstrom
MessageSystemExperiments
Some code for experiments with various messaging systems
table-formats-tlaplus
TLA+ specs for table formats
pulsar-flink-playground
Just for messing around with pulsar and flink
bookkeeper
Apache Bookkeeper
data-source
A source for testing pipelines (ignore this!)
DockerImages
A pretty random collection of docker images to keep in one place (not production verified)
java-taskling
API for batch jobs. Partitioning of batches into blocks of work, limiting the number of concurrent task instances, critical sections across servers, standardised activity logging and alerting.
logulator
A distributed log calculator
maelstrom
A workbench for writing toy implementations of distributed systems.
MessagingPerfCode
Some scripts and code for testing out various messaging systems and performance
openmessaging-benchmark
OpenMessaging Benchmark Framework
process-exporter
Prometheus exporter that mines /proc to report on selected processes
rabbitmq-perf-test
A load testing tool
vsr-rs
Viewstamped Replication for Rust
zookeeper
Apache ZooKeeper