A simulator for the Paxos Protocol for consensus in distributed systems
☆21Dec 19, 2012Updated 13 years ago
Alternatives and similar repositories for paxos
Users that are interested in 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:
- A high availability distributed filesystem built on FoundationDB and fuse.☆22Mar 13, 2023Updated 3 years ago
- ☆13Mar 8, 2018Updated 8 years ago
- dubbo服务间的分布式事物☆11Aug 26, 2015Updated 10 years ago
- ☆11Jun 21, 2022Updated 4 years ago
- Ice is a rapid information extraction customizer☆15Apr 26, 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.
- Hybrid A* Path Planner☆10Apr 20, 2020Updated 6 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- Kubernetes从入门到放弃☆13Nov 29, 2018Updated 7 years ago
- jta example☆15Nov 12, 2015Updated 10 years ago
- ☆15Nov 14, 2023Updated 2 years ago
- ☆14Jul 20, 2017Updated 9 years ago
- ☆12Oct 7, 2013Updated 12 years ago
- Simple, Incremental SAT Solving as a Haskell Library☆15Aug 31, 2016Updated 9 years ago
- 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.
- Manipulating Common Intermediate Language AST in Haskell☆22Nov 12, 2016Updated 9 years ago
- A Thrift Client pool for Java☆50Aug 23, 2022Updated 3 years ago
- ☆20Updated this week
- WebAssembly Virtual Machine☆16Sep 21, 2022Updated 3 years ago
- ☆19Jun 6, 2014Updated 12 years ago
- A segment tree (interval tree) implementation in Python☆22Feb 15, 2019Updated 7 years ago
- some scripts for asvspoof2017☆11Dec 27, 2018Updated 7 years ago
- Github action for Slither Static Analyser for Solidity smart contracts☆15Feb 19, 2022Updated 4 years ago
- Utilities for using bash from node.js.☆25Aug 22, 2011Updated 14 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.
- Java implementation of DET-ABE, a security scheme that implements the "Digital Envelope Technique", where bulk encryption of files is don…☆13Oct 24, 2016Updated 9 years ago
- Java library and runtime system for efficient state machine replication☆46Jul 21, 2021Updated 5 years ago
- Data sets and programs to generate data sets that can be used to evaluate resource allocation algorithms in clouds☆13Feb 8, 2017Updated 9 years ago
- This paper has been accepted by IEEE MASS 2022.☆15Oct 9, 2023Updated 2 years ago
- Go Wrapper For Creating IPTables NFQueue clients in Go☆29Apr 28, 2014Updated 12 years ago
- Experimental Java 8 backport of the incubating Java 10 HTTP/2 and WebSocket API☆19Sep 25, 2020Updated 5 years ago
- Keeping track of all current cryptocurrency scams in an open-source database☆11Jun 12, 2021Updated 5 years ago
- ☆15Aug 27, 2022Updated 3 years ago
- Unsupervised Graph Poisoning Attack via Contrastive Loss Back-propagation, WWW22☆17Jun 30, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- This repository contains supplementary data and MATLAB code for "Mechanism Design for Decentralized Peer-to-Peer Energy Trading Consideri…☆17Apr 20, 2022Updated 4 years ago
- IOTA documentation website - PRs welcome!☆25Jan 29, 2019Updated 7 years ago
- ☆15Oct 28, 2022Updated 3 years ago
- Code and data for paper "(How) do Language Models Track State?"☆26Mar 31, 2025Updated last year
- Twitter's Snowflake based ID generation as a redis module☆76May 11, 2017Updated 9 years ago
- BinaryCFGExtractor is an automated tool for extracting binary code control flow graph (CFG).☆17May 23, 2021Updated 5 years ago
- The Telesign Java SDK lets you easily integrate with our REST API.☆26Jul 3, 2026Updated 3 weeks ago