Open source Java implementation for Raft consensus protocol.

Fluss is a streaming storage built for real-time analytics.

Class materials for a distributed systems lecture series

An Open Standard for lineage metadata collection

Low level access to native memory, JVM and OS.

Experimental High level Raft framework

Rust implementation of the H3 geospatial indexing system.

Learn Rust by writing Entirely Too Many linked lists

Medium to hard Rust questions with explanations

An LSM database turned a CRDT database. Really fast counters!

A dynamo-like key/value database implemented in rust.

My references about Concurrency & Parallelism

My Distributed Systems references

TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.…

A list of papers about distributed consensus.

TLA+ specification for the Raft consensus algorithm

TLA+ specification of Flexible Paxos

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

A modular, reusable university course for Rust

Distributed queue implemented using zookeeper. Uses distributed lock maintained using zookeeper's ephemeral sequential nodes.

Four exercises for course Distributed Systems represents client-server lamport clock application, work with cluster nodes, fault-tolerance and framework Spark.

Apache Flink Training Excercises

Circuit Breaker implemented in Go

Serializable Snapshot Isolation implementation in golang for transactions happening on a key value store

A framework for distributed systems verification, with fault injection

An implementation of failpoints for Java.

Apache Flink

Kafka Consumer Lag Checking

To provide production grade SSD optimised Key Value Store