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 library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆13Feb 6, 2021Updated 5 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆18May 26, 2026Updated 3 weeks ago
- A high availability distributed filesystem built on FoundationDB and fuse.☆22Mar 13, 2023Updated 3 years ago
- View Zookeeper znode tree in a browser☆25Nov 18, 2015Updated 10 years ago
- Ice is a rapid information extraction customizer☆15Apr 26, 2021Updated 5 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.
- Run TLC in cmd☆15Jan 20, 2026Updated 4 months ago
- Manipulating Common Intermediate Language AST in Haskell☆22Nov 12, 2016Updated 9 years ago
- modified cutlass☆16Oct 26, 2020Updated 5 years ago
- ☆20Apr 16, 2026Updated 2 months ago
- Aussie AI Base C++ Library is the source code repo for the book Generative AI in C++, along with various other AI/ML kernels.☆23Aug 30, 2024Updated last year
- Web app for exploring LSTMs.☆17Jun 1, 2017Updated 9 years ago
- ☆19Jun 6, 2014Updated 12 years ago
- Automatically exported from code.google.com/p/des-linear-and-differential-cryptoanalysis☆10Nov 15, 2015Updated 10 years ago
- ZooKeeper server on top of FoundationDB☆26Mar 31, 2021Updated 5 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.
- Github action for Slither Static Analyser for Solidity smart contracts☆15Feb 19, 2022Updated 4 years ago
- Convert TLA+ output (and values) into JSON☆28Mar 3, 2021Updated 5 years ago
- A TUI tool for exploring the status of FoundationDB clusters.☆29Apr 22, 2026Updated last month
- Discrete event simulation of a cluster of machines with .NET Core async/await☆34May 3, 2018Updated 8 years ago
- Airport Gate Scheduling System is an automatic assignment of Landing time and Take-off time for each of the airplanes based on various co…☆10Nov 29, 2019Updated 6 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
- Unsupervised Graph Poisoning Attack via Contrastive Loss Back-propagation, WWW22☆17Jun 30, 2022Updated 3 years ago
- Modbat is a model-based API tester for stateful systems.☆23May 17, 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.
- An efficient, embeddable DPLL SAT solver in Haskell☆37Apr 25, 2026Updated last month
- Xscope: Hunting for Cross-Chain Bridge Attacks☆16Aug 1, 2022Updated 3 years ago
- source code(v1.03) for the book <Multicore and GPU Programming> or 《多核与GPU编程》☆28Nov 10, 2018Updated 7 years ago
- ☆15Oct 28, 2022Updated 3 years ago
- ☆11Oct 30, 2020Updated 5 years ago
- ☆17May 2, 2022Updated 4 years ago
- ☆18Oct 19, 2022Updated 3 years ago
- Upgrade of debugger from classic TclPro to Tcl 8.5+☆38Feb 26, 2018Updated 8 years ago
- A TLA+ module for animating TLC traces.☆50Dec 9, 2024Updated last year
- 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.
- 🔧 SQL for csv file in UNIX command line with awk.☆16Aug 6, 2022Updated 3 years ago
- Symbolic execution engine for toy language.☆51Mar 6, 2018Updated 8 years ago
- Scala Improvement Process☆14Aug 21, 2016Updated 9 years ago
- Edison: A Library of Efficient Data Structures☆57Jan 16, 2026Updated 5 months ago
- Blockchain graph analysis tools for Bitcoin. In collaboration w. Aurora Guo.☆28Nov 29, 2016Updated 9 years ago
- Conway's Game of Life implemented in Scala.js☆10Mar 30, 2018Updated 8 years ago
- Configure an LDAPS Endpoint for Simple AD☆14Aug 29, 2017Updated 8 years ago