A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
☆222Jun 14, 2022Updated 4 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Viewstamped Replication (VSR) distributed consensus algorithm implemented in Rust.☆137Sep 25, 2026Updated last month
- TLA+ specifications related to Viewstamped Replication☆52Jan 22, 2023Updated 3 years ago
- Zig peer type resolution at comptime, ported from the compiler source code☆15Jan 6, 2021Updated 5 years ago
- An embedded virtual file system for games and other projects☆15Jul 14, 2025Updated last year
- Linker for the Coff/PE file format☆23Apr 29, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆14Feb 6, 2021Updated 5 years ago
- A Zig implementation of EdDSA signatures with blind keys.☆17Apr 11, 2026Updated 6 months ago
- An attempt to write an archiver using zig☆42Dec 7, 2025Updated 11 months ago
- ViewStamped Replication implementation in Go☆43Nov 11, 2023Updated 2 years ago
- Prometheus/VictoriaMetrics client library for Zig☆55Jul 24, 2026Updated 3 months ago
- The protozig(uana), or protocol buffers implementation in Zig☆48Jan 29, 2022Updated 4 years ago
- An example application for the Oculus Quest, written in Zig☆37Nov 24, 2024Updated last year
- ☆35Jan 19, 2022Updated 4 years ago
- A collection of state machine replication protocols☆124Dec 8, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Zig version of the Charm crypto library.☆90Oct 28, 2026Updated last week
- LibreSSL stream wrappers for Zig☆30Mar 30, 2023Updated 3 years ago
- ☆25Dec 8, 2020Updated 5 years ago
- A local first persistent log☆36Sep 14, 2025Updated last year
- Common Zig patterns for you and your friends :)☆208Apr 15, 2024Updated 2 years ago
- An asynchronous runtime with a focus on performance and resource efficiency.☆554Jan 2, 2025Updated last year
- A blockchain written in Zig.☆292Feb 28, 2022Updated 4 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Mar 16, 2024Updated 2 years ago
- Experimental wasm linker☆43Dec 19, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- WebAssembly module signing & signature verification☆14Sep 29, 2022Updated 4 years ago
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 6 years ago
- SkeletonDB is a lock-less thread safe in memory MVCC store written in Go.☆23Dec 13, 2016Updated 9 years ago
- List of bugs found in distributed protocols☆210May 15, 2024Updated 2 years ago
- A set of fuzzers for fuzzing various parts of the Zig standard library☆53Aug 16, 2025Updated last year
- The financial transactions database designed for mission critical safety and performance.☆17,329Updated this week
- Zorex: the omnipotent regex engine☆68Dec 23, 2021Updated 4 years ago
- Differential dataflow for mere mortals☆530Apr 14, 2022Updated 4 years ago
- zasp ⚡ a streaming parser☆17Jan 11, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆40Mar 20, 2026Updated 7 months ago
- A JVM implementation in Zig!☆104Feb 3, 2023Updated 3 years ago
- Small to Medium scale 2d Game Engine for Zig☆26Dec 25, 2022Updated 3 years ago
- TLA+ model checking guided testing for distributed systems☆20Feb 12, 2024Updated 2 years ago
- TLA+ specifications for Raft and variants☆91Jul 18, 2022Updated 4 years ago
- A platform for computing and creating applications.☆360Mar 20, 2023Updated 3 years ago
- HTML parser built in Zig☆20Nov 4, 2022Updated 4 years ago