This is the code repository for QuePaxa project (formerly Raxos or QSCOD)
☆37Mar 18, 2026Updated 3 weeks 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:
- ☆15Sep 10, 2024Updated last year
- ☆11Oct 21, 2024Updated last year
- ☆13Nov 10, 2024Updated last year
- ☆17Jun 8, 2021Updated 4 years ago
- ☆11Oct 7, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- framework for evaluating (planet-scale) consensus protocols☆130Mar 1, 2024Updated 2 years ago
- Kademlia based Mainline DHT implementation☆13Apr 15, 2021Updated 5 years ago
- Small library to easily deal with websockets using .NET Standard or .NET 4.6.2☆11Sep 18, 2017Updated 8 years ago
- ☆49Apr 19, 2024Updated last year
- TLA+ specifications related to Viewstamped Replication☆51Jan 22, 2023Updated 3 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated last year
- TU Delft Blockchain Engineering course project on scale-out distributed ledger☆13Mar 4, 2018Updated 8 years ago
- ☆51Mar 13, 2024Updated 2 years ago
- ☆15Feb 16, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- TLA+ specifications for Raft and variants☆90Jul 18, 2022Updated 3 years ago
- The "DIstributed Analytical BLOckchain" Benchmark Framework. (Diablo). Measures blockchains with a focus on real-world applications and w…☆13Jan 12, 2024Updated 2 years ago
- Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll☆36Updated this week
- An unofficial list of Milady Derivatives maintained by the community.☆18Feb 23, 2026Updated last month
- A client-server app to send protobuf message over TCP☆12Apr 16, 2019Updated 7 years ago
- Paxos protocol framework☆560Dec 29, 2023Updated 2 years ago
- FAST 22☆12Jul 18, 2022Updated 3 years ago
- A dart wrapper on the mixpanel REST API to be used in Flutter applications.☆19Aug 18, 2023Updated 2 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆56Aug 26, 2019Updated 6 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.
- ☆14Mar 29, 2020Updated 6 years ago
- Seide Framework☆19Apr 9, 2012Updated 14 years ago
- Overlay Network for distributed protocols☆52Feb 25, 2023Updated 3 years ago
- This repository contains code snippets discussed in 15-440, lecture 5 (given on 1/28/2014).☆12Jan 30, 2014Updated 12 years ago
- A collection of state machine replication protocols☆122Dec 8, 2022Updated 3 years ago
- ECFFT in Rust☆58Oct 3, 2023Updated 2 years ago
- Erlang NIF CSV parser☆10May 6, 2018Updated 7 years ago
- ACeD: Scalable Data Availability Oracle☆14Oct 29, 2020Updated 5 years ago
- ViewStamped Replication implementation in Go☆43Nov 11, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Paxos Made Simple☆20Mar 26, 2023Updated 3 years ago
- Private set intersection using garbled bloom filters in semi-honest setting☆26Dec 11, 2015Updated 10 years ago
- SwornDisk是一个面向可信执行环境的、基于日志结构的安全块设备(全国大学生操作系统比赛2022)☆24Aug 14, 2022Updated 3 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆41Jul 22, 2025Updated 8 months ago
- ☆13Aug 27, 2024Updated last year
- A toolbox for zkSNARKS on Ethereum☆12Dec 17, 2018Updated 7 years ago
- ☆11Sep 22, 2017Updated 8 years ago