Raft.tla Alternatives

Similar projects and alternatives to raft.tla

py2many

29 593 8.1 Python raft.tla VS py2many

Transpiler of Python to many other languages
stateright

8 1,516 7.0 Rust raft.tla VS stateright

A model checker for implementing distributed systems.
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

2 8 0.0 Python raft.tla VS raft
paxi

1 542 3.0 Go raft.tla VS paxi

Paxos protocol framework

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.tla alternative or higher similarity.

Suggest an alternative to raft.tla

raft.tla reviews and mentions

Posts with mentions or reviews of raft.tla. 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/