Raft Alternatives

Similar projects and alternatives to raft

k3s

291 26,405 9.6 Go raft VS k3s

Lightweight Kubernetes
litestream

165 9,964 7.5 Go raft VS litestream

Streaming replication for SQLite.
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
rqlite

112 14,835 9.9 Go raft VS rqlite

The lightweight, distributed relational database built on SQLite.
py2many

29 590 8.1 Python raft VS py2many

Transpiler of Python to many other languages
stateright

8 1,516 7.0 Rust raft VS stateright

A model checker for implementing distributed systems.
zre_raft

5 2 0.0 Python raft VS zre_raft

Peer-to-peer encrypted chat using ZRE and double ratchet.
paxi

1 542 3.0 Go raft VS paxi

Paxos protocol framework
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
raft.tla

1 11 0.0 TLA raft VS raft.tla

TLA+ specification for the Raft consensus algorithm (by fpaxos)
raft.tla

2 426 10.0 TLA raft VS raft.tla

TLA+ specification for the Raft consensus algorithm
rraft-py

6 18 9.2 Python raft VS rraft-py

Unofficial Python Binding of the tikv/raft-rs

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better raft alternative or higher similarity.

Suggest an alternative to raft

raft reviews and mentions

Posts with mentions or reviews of raft. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-07-16.

Paxos vs Raft: Have We Reached Consensus on Distributed Consensus?
5 projects | news.ycombinator.com | 16 Jul 2021

Author seems to be using https://github.com/ailidani/paxi for actual implementation and proof.
I'm more of a python/rust guy. There have been some attempts to make model checkers in rust: https://github.com/stateright/stateright
The issue is that rust is a very large language and it's hard to get it right.
I have a python implementation of raft over here:
https://github.com/adsharma/raft/tree/master/raft/states
That's small enough to be self contained and perhaps run through a model checker some day and transpiled to many statically typed languages.
The issue with TLA+ proofs such as:
https://github.com/fpaxos/raft.tla
is that it's hard to tell if a particular C++ or Rust implementation conforms to the spec.
So how do we check and transpile?
* https://www.philipzucker.com/Modelling_TLA_in_z3py/
Rqlite: The lightweight, distributed relational database built on SQLite
7 projects | news.ycombinator.com | 22 Jan 2021

https://github.com/adsharma/raft
Bug reports welcome