tigerbeetle / viewstamped-replication-made-famousLinks
A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
☆214Updated 3 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
Sorting:
- fastfilter: Binary fuse & xor filters for Zig (faster and smaller than bloom filters)☆279Updated 10 months ago
- Writing a SQL database, take two: Zig and RocksDB☆160Updated 3 years ago
- Minimalistic hypervisor built on KVM, coded with Zig.☆147Updated last year
- Directed graph data structure for Zig☆115Updated 3 years ago
- LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes☆212Updated last month
- B-tree generator for C☆145Updated 2 months ago
- Hiisi is a proof of concept libSQL written in Rust following TigerBeetle-style with deterministic simulation testing.☆118Updated last year
- An event loop in Zig using io_uring and coroutines☆126Updated 3 years ago
- An asynchronous IO runtime☆137Updated last month
- TigerBeetle Hackathon at Interledger Summit 2023☆13Updated 2 years ago
- Viewstamped Replication for Rust☆72Updated 2 years ago
- ViewStamped Replication implementation in Go☆42Updated 2 years ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆228Updated last year
- A datastore aiming at linear scalability up to the yottabyte range. Inspired by dynamo and cassandra.☆90Updated 11 months ago
- 🚣♀️ <1kloc, well-documented Raft consensus algorithm implementation☆65Updated 2 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- framework for evaluating (planet-scale) consensus protocols☆130Updated last year
- Production-ready Cuckoo Filters for any C ABI compatible target.☆83Updated 3 years ago
- Prometheus/VictoriaMetrics client library for Zig☆56Updated 10 months ago
- Terminal flame graph☆111Updated 5 years ago
- A basic log-structured flash datastore☆20Updated 3 years ago
- Comparing concurrent code example programs between other languages and Zig☆62Updated 9 months ago
- Zig library for HyperLogLog estimation☆91Updated last year
- ☆104Updated 3 years ago
- Fast webserver with predictable memory usage☆195Updated last year
- An asynchronous runtime with a focus on performance and resource efficiency.☆537Updated last year
- Pelikan is a framework for building local or distributed caches. It comes with a highly extensible architecture, best-in-class performanc…☆275Updated last month
- Lightweight, fully-featured, idiomatic cross-platform Zig bindings to Lightning Memory-Mapped Database (LMDB).☆85Updated 2 years ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆269Updated last week
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆143Updated 2 years ago