Alternatives and similar repositories for fantoch:

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

• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆63Updated 2 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated 2 years ago
• tokio-rs / simulation
  Framework for simulating distributed applications
  ☆98Updated 5 years ago
• ease-lab / Hermes
  Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…
  ☆167Updated last year
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆67Updated last year
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆99Updated 6 years ago
• penberg / tihku
  Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.
  ☆130Updated last year
• belliottsmith / accord
  ☆26Updated 2 years ago
• haraldng / omnipaxos
  OmniPaxos is a distributed log implemented as a Rust library.
  ☆195Updated last month
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆134Updated 4 years ago
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆116Updated last month
• zowens / paxos-rs
  Paxos implementation in Rust
  ☆75Updated last week
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆28Updated 2 years ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆105Updated last year
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆18Updated 4 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆52Updated 6 months ago
• nvanbenschoten / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆61Updated 4 years ago
• XiangpengHao / congee
  Concurrent ART (adaptive radix tree)
  ☆142Updated 2 months ago
• pisimulation / epaxos
  A Pure Rust Implementation of Egalitarian Paxos
  ☆49Updated 5 years ago
• WiscADSL / cuttlefs
  FUSE file system with private page cache to simulate post fsync failure characteristics of modern file systems
  ☆29Updated 4 years ago
• spacejam / paxos
  simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly
  ☆140Updated 4 years ago
• psu-csl / replicated-store
  ☆21Updated 4 months ago
• faster-rs / faster-rs
  Experimental Rust wrapper for FASTER by Microsoft Research
  ☆54Updated 4 years ago
• umd-dslam / SLOG
  SLOG: Serializable, Low-latency, Geo-replicated Transactions
  ☆44Updated last year
• acharapko / fleetdb
  ☆12Updated 5 years ago
• otrack / on-epaxos-correctness
  On the correctness of Egalitarian Paxos
  ☆16Updated 5 years ago