tigerbeetle / viewstamped-replication-made-famous
A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
☆197Updated 2 years ago
Alternatives and similar repositories for viewstamped-replication-made-famous:
Users that are interested in viewstamped-replication-made-famous are comparing it to the libraries listed below
- Writing a SQL database, take two: Zig and RocksDB☆153Updated 2 years ago
- Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.☆102Updated 6 months ago
- fastfilter: Binary fuse & xor filters for Zig (faster and smaller than bloom filters)☆264Updated last month
- Minimalistic hypervisor built on KVM, coded with Zig.☆138Updated 6 months ago
- Directed graph data structure for Zig☆97Updated 2 years ago
- LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes☆136Updated 3 months ago
- Antithesis SDK for Go☆33Updated 2 months ago
- ViewStamped Replication implementation in Go☆38Updated last year
- Zig library for HyperLogLog estimation☆89Updated 7 months ago
- Viewstamped Replication for Rust☆65Updated last year
- Apache Arrow implementation☆45Updated last year
- Introduction to using BPF with Zig☆55Updated 4 years ago
- TigerBeetle Hackathon at Interledger Summit 2023☆13Updated last year
- 🚣♀️ <1kloc, well-documented Raft consensus algorithm implementation☆55Updated last year
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆126Updated last year
- Experimenting with persistence in C☆169Updated 2 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆145Updated 9 months ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆103Updated 11 months ago
- B-tree generator for C☆121Updated this week
- A storage service.☆181Updated this week
- framework for evaluating (planet-scale) consensus protocols☆128Updated 11 months ago
- OxidSQL (Toy) SQL Database in Rust☆70Updated 6 months ago
- An event loop in Zig using io_uring and coroutines☆119Updated 2 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Terminal flame graph☆109Updated 4 years ago
- ☆76Updated 10 months ago
- An asynchronous runtime with a focus on performance and resource efficiency.☆490Updated last month
- 🪢 A fast native data type for manipulating large strings in Redis☆122Updated 2 years ago
- Building an intuition for different IO models (sync, io_uring, etc.) across different languages.☆28Updated last year
- Zig-friendly library for interfacing with libgc (bdwgc) -- the Boehm-Demers-Weiser conservative garbage collector☆176Updated last year