Lists (1)
Stars
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
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.
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
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 ephemeral backend stacks with a focus on approachability for the average developer.
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
A curated, open, and ever-evolving learning path focused on practices of software development, principles of software design, and software architecture.
Bootstrap Kubernetes the hard way. No scripts.