tigerbeetle / viewstamped-replication-made-famous
A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
☆199Updated 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
- fastfilter: Binary fuse & xor filters for Zig (faster and smaller than bloom filters)☆270Updated last month
- Writing a SQL database, take two: Zig and RocksDB☆154Updated 2 years ago
- ViewStamped Replication implementation in Go☆39Updated last year
- Zig library for HyperLogLog estimation☆89Updated 9 months ago
- Production-ready Cuckoo Filters for any C ABI compatible target.☆83Updated 2 years ago
- Directed graph data structure for Zig☆101Updated 2 years ago
- Viewstamped Replication for Rust☆68Updated last year
- B-tree generator for C☆130Updated 2 months ago
- Antithesis SDK for Go☆33Updated 4 months ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.☆106Updated 8 months ago
- Building an intuition for different IO models (sync, io_uring, etc.) across different languages.☆29Updated last year
- framework for evaluating (planet-scale) consensus protocols☆128Updated last year
- LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes☆143Updated last week
- ☆182Updated this week
- An event loop in Zig using io_uring and coroutines☆120Updated 2 years ago
- Introduction to using BPF with Zig☆56Updated 4 years ago
- Minimalistic hypervisor built on KVM, coded with Zig.☆142Updated 8 months ago
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆56Updated 6 months ago
- TLA+ specifications for Raft and variants☆63Updated 2 years ago
- Apache Arrow implementation☆46Updated last year
- TigerBeetle Hackathon at Interledger Summit 2023☆13Updated last year
- Writing eBPF in Zig☆157Updated last week
- Nyrkiö is an open source platform for detecting performance changes in a Continuous Performance Engineering workflow☆35Updated this week
- Fast webserver with predictable memory usage☆169Updated 10 months ago
- Prometheus/VictoriaMetrics client library for Zig☆54Updated last month
- Synthesize CRDTs from classic data types with verified lifting!☆147Updated 11 months ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- [WIP] Zig BPF library☆70Updated this week
- An asynchronous runtime with a focus on performance and resource efficiency.☆511Updated 3 months ago