Giters
Flexible Paxos (fpaxos)

Flexible Paxos

fpaxos

Geek Repo

Revisiting quorum intersection for Paxos

Home Page:fpaxos.github.io

Github PK Tool:Github PK Tool

Flexible Paxos's repositories

fpaxos-lib

Prototype of FPaxos, built upon LibPaxos3

Language:C++License:NOASSERTIONStargazers:50Issues:5Issues:3

fpaxos-tlaplus

TLA+ specification of Flexible Paxos

Language:TLALicense:NOASSERTIONStargazers:38Issues:3Issues:0

ffpaxos-tlaplus

TLA+ specification of Fast Flexible Paxos

Language:TLALicense:MITStargazers:17Issues:3Issues:0

raft.tla

TLA+ specification for the Raft consensus algorithm

Language:TLAStargazers:11Issues:2Issues:0

fpaxos.github.io

Source for fpaxos.github.io

Stargazers:6Issues:2Issues:0

fpaxos-test

Collection of scripts for experimenting with FPaxos

Language:PythonLicense:MITStargazers:4Issues:2Issues:1