Projects in Awesome Lists tagged with state-machine-replication
A curated list of projects in awesome lists tagged with state-machine-replication .
https://github.com/baidu/braft
An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.
distributed-consensus distributed-storage raft raft-consensus-algorithm raft-cpp raft-cxx raft-protocol state-machine-replication
Last synced: 13 May 2025
https://github.com/brpc/braft
An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.
distributed-consensus distributed-storage raft raft-consensus-algorithm raft-cpp raft-cxx raft-protocol state-machine-replication
Last synced: 20 Apr 2025
https://github.com/heidihoward/distributed-consensus-reading-list
A list of papers about distributed consensus.
atomic-broadcast-protocol consensus-algorithms consistency distributed-computing distributed-systems fault-tolerance paxos quorum-systems replication state-machine-replication zookeeper
Last synced: 28 Jan 2026
https://heidihoward.github.io/distributed-consensus-reading-list/
A list of papers about distributed consensus.
atomic-broadcast-protocol consensus-algorithms consistency distributed-computing distributed-systems fault-tolerance paxos quorum-systems replication state-machine-replication zookeeper
Last synced: 11 May 2025
https://github.com/lpan/viw
VI Worsened, a lightweight and fun VI clone.
c event-driven-programming ncurses state-machine-replication text-editor unidirectional-data-flow vi
Last synced: 14 Apr 2026
https://github.com/haochenpan/rabia
Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
consensus distributed-systems fault-tolerance formal-verification reliability state-machine-replication
Last synced: 16 Jan 2026
https://github.com/imdea-software/swiftpaxos
Prototype implementation of SwiftPaxos (NSDI 2024)
concensus distributed-systems key-value-store state-machine-replication
Last synced: 13 Apr 2025
https://github.com/jabolina/go-mcast
Golang based implementation of the Generic Multicast protocol.
atomic-multicast fault-tolerance generic-multicast multicast state-machine-replication
Last synced: 28 Jul 2025
https://github.com/lapin0t/ophiuchus
[WIP] Stellar Consensus Protocol implementation
consensus-protocol distributed-systems state-machine-replication
Last synced: 08 May 2025
https://github.com/lambdaclass/consensus-workbench
Proof of concept Rust implementations for various distributed systems protocols
byzantine-fault-tolerance consensus distributed-systems rust state-machine-replication
Last synced: 20 Jun 2025
https://github.com/peterkrauz/pistis
Transparent, easily-configurable, strongly-consistent distributed state-machine replicas.
distributed-systems elixir erlang fault-tolerance raft state-machine-replication
Last synced: 24 Jan 2026
https://github.com/timyiu478/dolev-strong-protocol
A State Machine Replication built on top of Dolev-Strong Authenticated Broadcast Protocol
byzantine-broadcast consensus distributed-systems pki protocol simulation state-machine-replication synchrony
Last synced: 30 Oct 2025
https://github.com/sug0/bafomet
A modular and efficient BFT SMR implementation in Rust
bft consensus distributed-systems middleware rust state-machine-replication
Last synced: 10 Oct 2025
https://github.com/joaomhmpereira/highly-dependable-systems
An application (simplified Smart Contract) that implements a Token Exchange System (TES) using State Machine Replication, Blockchain and Byzantine Fault Tolerant Consensus
bft blockchain state-machine-replication
Last synced: 12 Apr 2025
https://github.com/federicoponzi/smr
State machine replication library
consensus consensus-algorithm rust state-machine-replication
Last synced: 24 Mar 2025
