Jack Vanlightly

bookkeeper-tlaplus. A TLA+ specification of the Apache BookKeeper replication protocol

raft-tlaplus. TLA+ specifications for Raft and variants

kafka-tlaplus. TLA+ specifications for Kafka related algorithms

ChaosTestingCode. Code for doing chaos testing on various distributed systems

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.

DslParser. Example of a DSL parser that takes a DSL and generates a SQL query and parameters

StreamProcessingSeries. Source code for my data processing pipelines blog series

vsr-tlaplus. TLA+ specifications related to Viewstamped Replication

table-formats-tlaplus. TLA+ specs for table formats

RabbitMq-PoC-Code. Just proof of concept code for working with the C# RabbitMq client

CDC-Tools. .NET Core applications and libraries for working with SQL Server CDC, with outputs to SQL Server, Kafka, Redshift

Govrnanza. An API governance system for managing APIs in large organisations

Rebalanser. .NET Standard 2.0 library for resource distribution amongst collaborating nodes, for example, distributing multiple queues amongst a group of consumers.

openmessaging-benchmark-custom. Java

RabbitTestTool. A tool for running performance and correctness experiments on RabbitMQ

NServiceBus-RabbitMq-Examples. Example code for using NServiceBus with RabbitMq

formal-methods-playground. TLA

maelstrom-playground. Playing with Jepsen Maelstrom

GRASS. GRaph of the Architecture of Systems and Servers

MessageSystemExperiments. Some code for experiments with various messaging systems

PLangPlayground. OpenEdge ABL

redpanda-openmessaging-benchmark. Java

simulation. TLA

pulsar-flink-playground. Just for messing around with pulsar and flink

r.aws.secretsmanager. Simple package for getting secrets from AWS Secrets Manager

Graphode. Build call graphs including external resource accesses and store in Neo4j, Gephi and other graphing tools