A framework for distributed applications
☆60Sep 28, 2020Updated 5 years ago
Alternatives and similar repositories for PaxosCluster
Users that are interested in PaxosCluster are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Configuration store with Notifications for Azure Service Fabric☆11Updated this week
- Guys have you heard of this consensus protocol called raft?☆14Nov 1, 2013Updated 12 years ago
- Framework that helps building highly scalable server backend based on actor model for MMOG and beyond☆18Oct 30, 2017Updated 8 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Jan 19, 2026Updated 4 months ago
- Basic paxos☆29Apr 10, 2014Updated 12 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.
- Tutorial on modeling with TLA+☆24May 5, 2026Updated last month
- A Paxos implementation in C originally by Marco Primi, built on top of libevent☆35Jul 24, 2011Updated 14 years ago
- spark job, sangria server, and react front-end for Word2Vec models☆15Nov 1, 2016Updated 9 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆44Jul 22, 2025Updated 10 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆50May 30, 2026Updated last week
- Go implement for Paxos algorithm☆51Nov 28, 2019Updated 6 years ago
- [DEPRECATED] See https://github.com/src-d/go-mysql-server☆10Feb 9, 2018Updated 8 years ago
- A leader election program written in Go using Bully algorithm.☆25Jul 3, 2013Updated 12 years ago
- Paxos protocol framework☆559Dec 29, 2023Updated 2 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.
- A go implementation of the Paxos algorithm☆345Oct 3, 2018Updated 7 years ago
- Command line TOML processor☆10Oct 24, 2020Updated 5 years ago
- A safe and convenient store for one value of each type☆11Apr 10, 2021Updated 5 years ago
- a (tiny) VM project built with Go☆58Mar 24, 2017Updated 9 years ago
- basic http sessions with a nice interface☆21Jun 5, 2023Updated 3 years ago
- ☆33Apr 13, 2026Updated last month
- Ruby wrapper for POSIX IPC message queues.☆108Feb 5, 2017Updated 9 years ago
- ☆23Jul 29, 2016Updated 9 years ago
- SOCKS5 proxy library for Go☆29May 30, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A redis compatible database.☆15Jul 23, 2021Updated 4 years ago
- A tool for sniffing ticwatch firmwares.☆10Jul 29, 2017Updated 8 years ago
- Some recommendation algorithms and research☆12Sep 16, 2016Updated 9 years ago
- ☆10Nov 26, 2024Updated last year
- ☆22Oct 3, 2022Updated 3 years ago
- ☆92Mar 28, 2026Updated 2 months ago
- Support classes and extensions used in travis-ci☆29Feb 27, 2024Updated 2 years ago
- ☆12Aug 26, 2021Updated 4 years ago
- M3 Design Documents☆18Jul 8, 2021Updated 4 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.
- ☆11Oct 21, 2024Updated last year
- An Go language package for getting your public IP address. It's inspired by go-ipify: https://github.com/rdegges/go-ipify☆24Oct 16, 2019Updated 6 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- Reliable distributed agreement service for the cloud☆47May 10, 2017Updated 9 years ago
- A library for peer discovery inside the Tor network☆27Apr 19, 2024Updated 2 years ago
- libpaxos-cpp is a C++ implementation of the Paxos distributed consensus protocol☆67Mar 6, 2013Updated 13 years ago
- Elastic computing platform☆31Updated this week