Alternatives and similar repositories for GoPaxos

Users that are interested in GoPaxos are comparing it to the libraries listed below

• Cjen1 / reckon
  ☆15Updated last year
• otrack / epaxos
  Based on http://efficient.github.io/epaxos (morethan5 branch)
  ☆17Updated last year
• nvb / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆61Updated 4 years ago
• decentralizedthoughts / decentralizedthoughts.github.io
  Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll
  ☆34Updated last week
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆50Updated 3 years ago
• matthewdgreen / censorship
  EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications
  ☆15Updated 4 years ago
• foodotbar / Compact-Proofs-of-Retrievability
  Compact Proofs of Retrievability
  ☆14Updated 11 years ago
• Determinant / salticidae
  Minimal C++ asynchronous network library for distributed systems.
  ☆36Updated 4 years ago
• consensus-shipyard / fendermint
  IPC implementation atop CometBFT
  ☆17Updated last year
• belliottsmith / accord
  ☆28Updated 3 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆198Updated last year
• lleo / go-hamt
  Go implementation of a Hash Array Map Trie
  ☆28Updated 4 years ago
• armfazh / tozan-ecc
  Elliptic curve Go reference implementation
  ☆26Updated 8 months ago
• NYU-NEWS / janus
  ☆51Updated last year
• bobotu / opt-art
  The Adaptive Radix Tree With Optimistic Synchronization.
  ☆21Updated 6 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆79Updated last year
• mit-pdos / go-journal
  Verified, concurrent, crash-safe transaction system
  ☆59Updated last year
• relab / gorums
  Gorums simplify fault-tolerant quorum-based protocols
  ☆146Updated 3 months ago
• ailidani / paxi
  Paxos protocol framework
  ☆555Updated last year
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆119Updated 2 years ago
• hashicorp / raft-fuzzy
  Fuzz Testing for the github.com/hashicorp/raft library
  ☆30Updated 2 years ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆128Updated last year
• sean-public / skiplist-survey
  A comparison of skip lists written in Go
  ☆54Updated 4 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆21Updated 8 months ago
• aergoio / SMT
  Sparse Merkle Tree
  ☆56Updated 2 years ago
• arriqaaq / chord
  Implementation of Chord DHT(Distributed Hash Table) paper
  ☆191Updated 4 years ago
• dedis / quepaxa
  This is the code repository for QuePaxa project (formerly Raxos or QSCOD)
  ☆35Updated 5 months ago
• dedis / onet
  Overlay Network for distributed protocols
  ☆51Updated 2 years ago
• mit-pdos / vmvcc
  ☆25Updated 4 months ago