There are no reviews yet. Be the first to send feedback to the community and the maintainers!
bookkeeper-tlaplus
A TLA+ specification of the Apache BookKeeper replication protocolChaosTestingCode
Code for doing chaos testing on various distributed systemsTaskling.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 parametersraft-tlaplus
TLA+ specifications for Raft and variantsStreamProcessingSeries
Source code for my data processing pipelines blog serieskafka-tlaplus
TLA+ specifications for Kafka related algorithmsRabbitMq-PoC-Code
Just proof of concept code for working with the C# RabbitMq clientvsr-tlaplus
TLA+ specifications related to Viewstamped ReplicationCDC-Tools
.NET Core applications and libraries for working with SQL Server CDC, with outputs to SQL Server, Kafka, RedshiftGovrnanza
An API governance system for managing APIs in large organisationsRebalanser
.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 formatsRabbitTestTool
A tool for running performance and correctness experiments on RabbitMQNServiceBus-RabbitMq-Examples
Example code for using NServiceBus with RabbitMqformal-methods-playground
maelstrom-playground
Playing with Jepsen MaelstromGRASS
GRaph of the Architecture of Systems and ServersGraphode
Build call graphs including external resource accesses and store in Neo4j, Gephi and other graphing toolspulsar-flink-playground
Just for messing around with pulsar and flinkr.aws.secretsmanager
Simple package for getting secrets from AWS Secrets ManagerPLangPlayground
Love Open Source and this site? Check out how you can help us