Alternatives and similar repositories for raft-tlaplus

Users that are interested in raft-tlaplus are comparing it to the libraries listed below

• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆52Updated 2 years ago
• flock-lab / flock
  Flock: A Low-Cost Streaming Query Engine on FaaS Platforms
  ☆275Updated last year
• Vanlightly / table-formats-tlaplus
  TLA+ specs for table formats
  ☆43Updated last year
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆104Updated last year
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆120Updated 2 years ago
• WyattJia / Pomegranate
  🌳 A tiny skiplist based log-structured merge-tree written in Rust.
  ☆25Updated last year
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆129Updated last year
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆85Updated 4 years ago
• topling / todis
  Todis is a massive, persistent Redis server developed by Topling Inc.
  ☆366Updated 2 years ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆84Updated 9 months ago
• topling / toplingdb
  ToplingDB is a cloud native LSM Key-Value Store with searchable compression algo and distributed compaction
  ☆1,010Updated this week
• Shannon-Data / ShannonBase
  The Next-Gen Database for AI—an infrastructure designed for data and AI. As the MySQL of the AI era.
  ☆107Updated this week
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆104Updated 3 months ago
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆17Updated 5 years ago
• psu-csl / replicated-store
  ☆22Updated 5 months ago
• belliottsmith / accord
  ☆28Updated 3 years ago
• eloqdata / eloqkv
  Redis/Valkey Compatible Distributed Transactional Key-Value Store
  ☆484Updated last week
• dranov / raft-tla
  ☆21Updated 4 years ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆501Updated 8 months ago
• apache / cassandra-accord
  Accord library for Apache Cassandra®
  ☆83Updated this week
• michaelzenz / jecci
  Jepsen and Elle based Consistency Checking Interface
  ☆20Updated 3 years ago
• Cjen1 / consensus-tlaplus
  ☆11Updated last year
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆80Updated 2 years ago
• eloqdata / eloqdoc
  A MongoDB-compatible, high-performance, elastic, distributed document database.
  ☆301Updated this week
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆50Updated 3 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆103Updated 7 years ago
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆144Updated this week
• eunomia-bpf / eGPU
  Extending eBPF Programmability and Observability to GPUs (merged into https://github.com/eunomia-bpf/bpftime)
  ☆262Updated last month
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆67Updated 10 years ago
• tcse-iscas / Mocket
  TLA+ model checking guided testing for distributed systems
  ☆16Updated last year