A framework for rapid development of reliable asynchronous software.

A coroutine library for go

A concise implementation of multi-paxos consensus

Add hardship to your tests

A deterministic, fuzzable pthread implementation

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

SDK for building Kubernetes controllers.

Durable coroutines for Go

Presentation materials.

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

Scalable fuzzing infrastructure.

Testcontainers is a Python library that providing a friendly API to run Docker container. It is designed to create runtime environment to use during your automatic tests.

ViewStamped Replication implementation in Go

Deterministic Simulation Testing

FuzzBench - Fuzzer benchmarking as a service.

Lightweight, fast and reliable key/value storage engine based on Bitcask.

TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.

Awaitility is a small Java DSL for synchronizing asynchronous operations

Official Kubernetes operator for Apache Solr

Feature-complete implementation of the Raft consensus algorithm in Java

A convenience library for the integration of the Fabric8 Kubernetes client in a Dropwizard service.

Open source Java implementation for Raft consensus protocol.

DiceDB is an open-source, fast, reactive, in-memory database optimized for modern hardware.

Magical Deterministic Simulator for distributed systems in Rust.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A platform for packaging and launching blockchain infra. Think docker compose for blockchain

Source Repo for https://tkng.io

docker and kubernetes lab

Apache Spark docker image