Pinned Repositories
bookkeeper-tlaplus
A TLA+ specification of the Apache BookKeeper replication protocol
ChaosTestingCode
Code for doing chaos testing on various distributed systems
DslParser
Example of a DSL parser that takes a DSL and generates a SQL query and parameters
formal-methods-playground
kafka-tlaplus
TLA+ specifications for Kafka related algorithms
RabbitTestTool
A tool for running performance and correctness experiments on RabbitMQ
raft-tlaplus
TLA+ specifications for Raft and variants
StreamProcessingSeries
Source code for my data processing pipelines blog series
Taskling.NET
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.
vsr-tlaplus
TLA+ specifications related to Viewstamped Replication
Vanlightly's Repositories
Vanlightly/bookkeeper-tlaplus
A TLA+ specification of the Apache BookKeeper replication protocol
Vanlightly/ChaosTestingCode
Code for doing chaos testing on various distributed systems
Vanlightly/raft-tlaplus
TLA+ specifications for Raft and variants
Vanlightly/kafka-tlaplus
TLA+ specifications for Kafka related algorithms
Vanlightly/RabbitMq-PoC-Code
Just proof of concept code for working with the C# RabbitMq client
Vanlightly/vsr-tlaplus
TLA+ specifications related to Viewstamped Replication
Vanlightly/openmessaging-benchmark-custom
Vanlightly/table-formats-tlaplus
TLA+ specs for table formats
Vanlightly/RabbitTestTool
A tool for running performance and correctness experiments on RabbitMQ
Vanlightly/formal-methods-playground
Vanlightly/maelstrom-playground
Playing with Jepsen Maelstrom
Vanlightly/MessageSystemExperiments
Some code for experiments with various messaging systems
Vanlightly/PLangPlayground
Vanlightly/pulsar-flink-playground
Just for messing around with pulsar and flink
Vanlightly/redpanda-openmessaging-benchmark
Vanlightly/bookkeeper
Apache Bookkeeper
Vanlightly/data-source
A source for testing pipelines (ignore this!)
Vanlightly/DockerImages
A pretty random collection of docker images to keep in one place (not production verified)
Vanlightly/iceberg
Apache Iceberg
Vanlightly/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.
Vanlightly/logulator
A distributed log calculator
Vanlightly/maelstrom
A workbench for writing toy implementations of distributed systems.
Vanlightly/MessagingPerfCode
Some scripts and code for testing out various messaging systems and performance
Vanlightly/openmessaging-benchmark
OpenMessaging Benchmark Framework
Vanlightly/process-exporter
Prometheus exporter that mines /proc to report on selected processes
Vanlightly/pulsar
Apache Pulsar - distributed pub-sub messaging system
Vanlightly/rabbitmq-perf-test
A load testing tool
Vanlightly/tla-bin
Command line binaries for the TLA+ language
Vanlightly/vsr-rs
Viewstamped Replication for Rust
Vanlightly/zookeeper
Apache ZooKeeper