wuxingyi
Follow
Stars
A fast linearizability checker written in Go 🔎
An implementation of the Raft distributed consensus protocol.
Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!
YugabyteDB - the cloud native distributed SQL database for mission-critical applications.
A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
Simplified distributed block and file storage with strong consistency, like in Ceph (repository mirror)
An implementation of the Raft distributed consensus protocol using the Tokio framework.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
A collection of TLA⁺ specifications of varying complexities.
Dr. TLA+ series - learn an algorithm and protocol, study a specification
NOVA is a log-structured file system designed for byte-addressable non-volatile memories, developed at the University of California, San Diego.
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
FoundationDB - the open source, distributed, transactional key-value store
DAOS Storage Stack (client libraries, storage engine, control plane)
High performance server-side application framework
Curve is a sandbox project hosted by the CNCF Foundation. It's cloud-native, high-performance, and easy to operate. Curve is an open-source distributed storage system for block and shared file stor…
RocksDB modified to separate keys and values, resulting in a major decrease in write amplification without sacrificing performance
CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.
The Paxos library implemented in C++ that has been used in the WeChat production environment.
A framework for distributed systems verification, with fault injection