Jack Vanlightly

A TLA+ specification of the Apache BookKeeper replication protocol

Vanlightly

Code for doing chaos testing on various distributed systems

Vanlightly

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

Vanlightly

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

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

Vanlightly

An API governance system for managing APIs in large organisations

Vanlightly

Just proof of concept code for working with the C# RabbitMq client

Vanlightly

TLA+ specifications for Raft and variants

Vanlightly

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

Vanlightly

Source code for my data processing pipelines blog series

Vanlightly