Paxos implemented as a set of composable classes
☆44Feb 1, 2016Updated 10 years ago
Alternatives and similar repositories for python-composable-paxos
Users that are interested in python-composable-paxos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Example multi-paxos application for those learning Paxos & multi-paxos☆95Mar 28, 2019Updated 7 years ago
- Plain Paxos Implementations in Python & Java☆590Jul 21, 2026Updated 2 weeks ago
- ☆14Dec 13, 2014Updated 11 years ago
- ☆12May 7, 2021Updated 5 years ago
- Minimalist optimistic rollup tech☆13Aug 20, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- In-EVM Solana Light Client State Verification☆36May 10, 2024Updated 2 years ago
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆59May 21, 2020Updated 6 years ago
- Optimized CCITT G4 encoder for embedded and larger systems☆16Feb 6, 2025Updated last year
- Header only C++ plotting interface for Gnuplot☆10Nov 13, 2019Updated 6 years ago
- The squish library (abbreviated to libsquish) is an open source DXT compression library written in C++.☆12Jan 21, 2016Updated 10 years ago
- Swift running on bare metal Raspberry Pi☆20Mar 17, 2022Updated 4 years ago
- Modern C++ 任务 池，将作为纯同步调用方式实现完全等价于 async/await 的效果☆11May 12, 2021Updated 5 years ago
- WASM/HW-friendly lightweight client application for threshold ECDSA☆16Jan 19, 2021Updated 5 years ago
- ☆49Feb 2, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ⚙️🛠️ Essential C++ utilities.☆14Mar 9, 2026Updated 5 months ago
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆26Feb 20, 2024Updated 2 years ago
- ansible playbook and roles for a full sensu deploy☆26Oct 23, 2013Updated 12 years ago
- The Taichi MPI demos with MPI4Py☆13Nov 3, 2022Updated 3 years ago
- A framework for distributed applications☆60Sep 28, 2020Updated 5 years ago
- Interval Tree Clocks: A Logical Clock for Dynamic Systems☆40Nov 3, 2014Updated 11 years ago
- A lightweight compile-time, header-only, dimensional analysis and unit conversion library built on c++11 with no dependencies☆18Jun 24, 2017Updated 9 years ago
- An implementation of ATProto's Merkle Search Tree☆17Apr 29, 2023Updated 3 years ago
- A default project created with C4 Builder☆11Nov 10, 2021Updated 4 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.
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 7 years ago
- ☆11Oct 14, 2022Updated 3 years ago
- This repository collects lecture notes on Cryptography that are publicly accessible.☆28Jan 25, 2022Updated 4 years ago
- Stupid crypto tricks☆18May 12, 2021Updated 5 years ago
- 🔥 flamegraphs for solidity☆35Sep 11, 2024Updated last year
- Paxos Made Moderately Complex☆192Aug 1, 2024Updated 2 years ago
- MapReduce for multi-core☆50Sep 16, 2013Updated 12 years ago
- The repository has moved to https://github.com/bloxapp/ssv☆25Feb 16, 2022Updated 4 years ago
- GPU Realtime depth passive stereo sensing using ADCensus☆16Aug 2, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- AngularJS filters wrapping the 'humanize' library☆10Jul 30, 2015Updated 11 years ago
- Clones and builds CPython☆13Jun 24, 2025Updated last year
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago
- ☆10Jun 12, 2019Updated 7 years ago
- Project-level virtual environment management☆10Sep 28, 2021Updated 4 years ago
- Demo repository for Argo CD ApplicationSet Controller☆10Feb 8, 2023Updated 3 years ago
- Implementation of the blindbid logic within Zero Knowledge Proofs☆20Sep 15, 2021Updated 4 years ago