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
table-formats-tlaplus
TLA+ specs for table formats
MessageSystemExperiments
Some code for experiments with various messaging systems
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)
iceberg
Apache Iceberg
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.
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