Vanlightly/raft-tlaplus Vanlightly/raft-tlaplus

  • Stars
    star
    57
  • Rank 520,750 (Top 11 %)
  • Language TLA
  • License
    MIT License
  • Created over 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Vanlightly/raft-tlaplus
github

Vanlightly

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

TLA+ specifications for Raft and variants

More Repositories

1

bookkeeper-tlaplus

A TLA+ specification of the Apache BookKeeper replication protocol
TLA
99
star
2

ChaosTestingCode

Code for doing chaos testing on various distributed systems
Python
81
star
3

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.
C#
67
star
4

DslParser

Example of a DSL parser that takes a DSL and generates a SQL query and parameters
C#
65
star
5

StreamProcessingSeries

Source code for my data processing pipelines blog series
C#
52
star
6

kafka-tlaplus

TLA+ specifications for Kafka related algorithms
TLA
33
star
7

RabbitMq-PoC-Code

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

vsr-tlaplus

TLA+ specifications related to Viewstamped Replication
TLA
27
star
9

CDC-Tools

.NET Core applications and libraries for working with SQL Server CDC, with outputs to SQL Server, Kafka, Redshift
C#
25
star
10

Govrnanza

An API governance system for managing APIs in large organisations
C#
18
star
11

Rebalanser

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

openmessaging-benchmark-custom

Java
11
star
13

table-formats-tlaplus

TLA+ specs for table formats
TLA
8
star
14

RabbitTestTool

A tool for running performance and correctness experiments on RabbitMQ
Java
7
star
15

NServiceBus-RabbitMq-Examples

Example code for using NServiceBus with RabbitMq
C#
6
star
16

formal-methods-playground

TLA
5
star
17

maelstrom-playground

Playing with Jepsen Maelstrom
Java
4
star
18

GRASS

GRaph of the Architecture of Systems and Servers
JavaScript
2
star
19

MessageSystemExperiments

Some code for experiments with various messaging systems
Java
2
star
20

Graphode

Build call graphs including external resource accesses and store in Neo4j, Gephi and other graphing tools
C#
1
star
21

pulsar-flink-playground

Just for messing around with pulsar and flink
Java
1
star
22

r.aws.secretsmanager

Simple package for getting secrets from AWS Secrets Manager
R
1
star
23

PLangPlayground

OpenEdge ABL
1
star