Discover @Vanlightly Open Source projects

Jack Vanlightly (@Vanlightly)

Vanlightly

Stars
620
Global Rank 47,863 (Top 2 %)
Followers 222
Following 3
Registered over 11 years ago
Most used languages

C#
37.5 %

TLA 25.0 %

Java
20.8 %

R
4.2 %

Python
4.2 %

JavaScript
4.2 %

OpenEdge ABL 4.2 %
Location 🇪🇸 Spain
Country Total Rank 608
Country Ranking

TLA 1

OpenEdge ABL 12

C#
33

R
424

Python
458

Java
471

JavaScript
5,729

bookkeeper-tlaplus

A TLA+ specification of the Apache BookKeeper replication protocol

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

raft-tlaplus

TLA+ specifications for Raft and variants

StreamProcessingSeries

Source code for my data processing pipelines blog series

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

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

table-formats-tlaplus

TLA+ specs for table formats

RabbitTestTool

A tool for running performance and correctness experiments on RabbitMQ

NServiceBus-RabbitMq-Examples

Example code for using NServiceBus with RabbitMq

formal-methods-playground

maelstrom-playground

Playing with Jepsen Maelstrom

GRASS

GRaph of the Architecture of Systems and Servers

MessageSystemExperiments

Some code for experiments with various messaging systems

Graphode

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

pulsar-flink-playground

Just for messing around with pulsar and flink

r.aws.secretsmanager

Simple package for getting secrets from AWS Secrets Manager

PLangPlayground