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:
- ☆14Dec 13, 2014Updated 11 years ago
- ☆12May 7, 2021Updated 5 years ago
- Minimalist optimistic rollup tech☆13Aug 20, 2021Updated 4 years ago
- Sharable Grakn knowledge graphs☆13Dec 28, 2022Updated 3 years ago
- In-EVM Solana Light Client State Verification☆36May 10, 2024Updated 2 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.
- Published by Packt☆11Jan 18, 2021Updated 5 years ago
- Header only C++ plotting interface for Gnuplot☆10Nov 13, 2019Updated 6 years ago
- ZPU - the worlds smallest 32 bit CPU with GCC toolchain☆16Jul 17, 2014Updated 11 years ago
- Simple "commit-reveal" multisig in vyper☆24Aug 5, 2022Updated 3 years ago
- Modern C++ 任务池，将作为纯同步调用方式实现完全等价于 async/await 的效果☆11May 12, 2021Updated 5 years ago
- ☆49Feb 2, 2023Updated 3 years ago
- WASM/HW-friendly lightweight client application for threshold ECDSA☆16Jan 19, 2021Updated 5 years 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
- Masked <input/> React component☆15Nov 27, 2017Updated 8 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.
- The Taichi MPI demos with MPI4Py☆13Nov 3, 2022Updated 3 years ago
- Just a little toy language to learn about register-based VMs.☆22Aug 30, 2012Updated 13 years ago
- ☆18May 16, 2024Updated 2 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 7 years ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- ☆10Jun 12, 2019Updated 7 years ago
- This repository collects lecture notes on Cryptography that are publicly accessible.☆28Jan 25, 2022Updated 4 years ago
- Binary classification algorithm under fairness considerations.☆10Jan 12, 2023Updated 3 years ago
- 🔥 flamegraphs for solidity☆35Sep 11, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A session locker using Bluetooth proximity (build in golang)☆13May 9, 2018Updated 8 years ago
- The repository has moved to https://github.com/bloxapp/ssv☆25Feb 16, 2022Updated 4 years ago
- Extend2VNC In short, can extend the screen of your Linux computer wirelessly; in many words, is an application to Extend your screen usin…☆10May 16, 2020Updated 6 years ago
- PatchMatch Stereo with Red-Black modifiaction and Row Parallel modification for massively parallel computing☆16Dec 2, 2022Updated 3 years ago
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago
- Develop 3D games with C++ and Unreal Engine 4☆18Jan 21, 2021Updated 5 years ago
- Efficiently performs automatic differentiation on arbitrary functions. Basically a rudimentary version of Tensorflow.☆12Feb 18, 2017Updated 9 years ago
- A default project created with C4 Builder☆11Nov 10, 2021Updated 4 years ago
- Create an Amazon AWS Mesos cluster using Terraform☆12Feb 15, 2017Updated 9 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.
- Kubeflow for Poets: A Guide to Containerization of the Machine Learning Production Pipeline☆14Mar 28, 2019Updated 7 years ago
- Twitter Bot using a simplified Markov chain implementation☆10Jun 4, 2015Updated 11 years ago
- Keras tutorial code for the SC18 tutorial on Deep Learning at Scale☆12Nov 12, 2018Updated 7 years ago
- A minimal experimental actor library for Nim (wip)☆25Jun 4, 2017Updated 9 years ago
- Implementation of the blindbid logic within Zero Knowledge Proofs☆20Sep 15, 2021Updated 4 years ago
- A Flask decorator to output RDF using content negotiation.☆16Jul 6, 2020Updated 5 years ago
- An implementation of ATProto's Merkle Search Tree☆17Apr 29, 2023Updated 3 years ago