This is the code repository for QuePaxa project (formerly Raxos or QSCOD)
☆71Apr 12, 2026Updated 5 months ago
Alternatives and similar repositories for quepaxa
Users that are interested in quepaxa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)☆47Mar 16, 2023Updated 3 years ago
- ☆15Sep 10, 2024Updated 2 years ago
- ☆11Oct 21, 2024Updated last year
- ☆13Nov 10, 2024Updated last year
- ☆18Jun 8, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rollback protection for confidential services☆35Aug 24, 2026Updated last month
- Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll☆37Updated this week
- ☆11Oct 7, 2022Updated 3 years ago
- framework for evaluating (planet-scale) consensus protocols☆133Mar 1, 2024Updated 2 years ago
- Kademlia based Mainline DHT implementation☆13Apr 15, 2021Updated 5 years ago
- ☆50Apr 19, 2024Updated 2 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆21Updated this week
- The "DIstributed Analytical BLOckchain" Benchmark Framework. (Diablo). Measures blockchains with a focus on real-world applications and w…☆13Jan 12, 2024Updated 2 years ago
- TLA+ specifications related to Viewstamped Replication☆52Jan 22, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Web based Java Flight Recorder viewer☆30Oct 27, 2023Updated 2 years ago
- ☆51Mar 13, 2024Updated 2 years ago
- TU Delft Blockchain Engineering course project on scale-out distributed ledger☆13Mar 4, 2018Updated 8 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated 2 years ago
- TLA+ specifications for Raft and variants☆91Jul 18, 2022Updated 4 years ago
- An unofficial list of Milady Derivatives maintained by the community.☆19Feb 23, 2026Updated 7 months ago
- A client-server app to send protobuf message over TCP☆12Apr 16, 2019Updated 7 years ago
- Paxos protocol framework☆559Dec 29, 2023Updated 2 years ago
- Confidential Byzantine Fault-Tolerant SMR library☆13Aug 17, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Official Rust client for Central Dogma☆50Mar 21, 2023Updated 3 years ago
- ☆15Mar 29, 2020Updated 6 years ago
- A static site generator made with Gleam ✨☆12May 24, 2023Updated 3 years ago
- Deadline countdowns for high-quality academic venues relevant to blockchain☆33Sep 6, 2026Updated 3 weeks ago
- Overlay Network for distributed protocols☆52Feb 25, 2023Updated 3 years ago
- A collection of state machine replication protocols☆124Dec 8, 2022Updated 3 years ago
- Erlang NIF CSV parser☆10May 6, 2018Updated 8 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 years ago
- ACeD: Scalable Data Availability Oracle☆14Oct 29, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Extract secrets from your vault in a multi-machine cluster environment.☆12Mar 21, 2018Updated 8 years ago
- Paxos Made Simple☆20Mar 26, 2023Updated 3 years ago
- Erlang interface to eBPF☆59Sep 22, 2023Updated 3 years ago
- Private set intersection using garbled bloom filters in semi-honest setting☆27Dec 11, 2015Updated 10 years ago
- ☆13Aug 27, 2024Updated 2 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆44Jul 22, 2025Updated last year
- ☆20Oct 22, 2024Updated last year