tigerbeetle / viewstamped-replication-made-famous
A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
☆198Updated 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
- fastfilter: Binary fuse & xor filters for Zig (faster and smaller than bloom filters)☆267Updated last month
- Introduction to using BPF with Zig☆56Updated 4 years ago
- Production-ready Cuckoo Filters for any C ABI compatible target.☆84Updated 2 years ago
- An event loop in Zig using io_uring and coroutines☆120Updated 2 years ago
- Viewstamped Replication for Rust☆67Updated last year
- Directed graph data structure for Zig☆99Updated 2 years ago
- ViewStamped Replication implementation in Go☆39Updated last year
- An asynchronous runtime with a focus on performance and resource efficiency.☆496Updated 2 months ago
- LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes☆139Updated 4 months ago
- Minimalistic hypervisor built on KVM, coded with Zig.☆138Updated 7 months ago
- framework for evaluating (planet-scale) consensus protocols☆127Updated last year
- B-tree generator for C☆125Updated last month
- [WIP] Zig BPF library☆69Updated last month
- OmniPaxos is a distributed log implemented as a Rust library.☆195Updated last month
- Comparing concurrent code example programs between other languages and Zig☆57Updated 4 years ago
- Apache Arrow implementation☆46Updated last year
- Building an intuition for different IO models (sync, io_uring, etc.) across different languages.☆28Updated last year
- Zig library for HyperLogLog estimation☆89Updated 8 months ago
- 🚣♀️ <1kloc, well-documented Raft consensus algorithm implementation☆55Updated last year
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Lightweight, fully-featured, idiomatic cross-platform Zig bindings to Lightning Memory-Mapped Database (LMDB).☆75Updated last year
- TigerBeetle Hackathon at Interledger Summit 2023☆13Updated last year
- Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.☆106Updated 7 months ago
- Experimenting with persistence in C☆170Updated 3 years ago
- Zig-friendly library for interfacing with libgc (bdwgc) -- the Boehm-Demers-Weiser conservative garbage collector☆176Updated last year
- Prometheus/VictoriaMetrics client library for Zig☆54Updated 3 weeks ago
- Zero-allocation Client for all the various Redis forks☆232Updated 2 weeks ago
- Comparing unsafe Rust vs Zig by writing a bytecode interpreter with GC in both langs☆177Updated last year
- Writing eBPF in Zig☆150Updated 2 weeks ago