Alternatives and similar repositories for RaftCMU440:

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

• cmu440 / intro-to-go
  This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).
  ☆31Updated 11 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated 2 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆52Updated 7 months ago
• NYU-NEWS / janus
  ☆51Updated last year
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• shuaimu / rococo
  ☆35Updated last year
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆18Updated 4 years ago
• skyzh / pebble
  RocksDB/LevelDB inspired key-value database in Go
  ☆10Updated 4 years ago
• stephentu / scalex
  Code snippets for the workshop on concurrent data structure implementation.
  ☆31Updated 12 years ago
• psu-csl / replicated-store
  ☆22Updated 5 months ago
• vmware-archive / sql-to-dbsp-compiler
  Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)
  ☆29Updated last year
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆78Updated last year
• ssujeen / 15445-db
  Assignment for cmu database systems course 15445
  ☆7Updated 6 years ago
• camsas / Musketeer
  The Musketeer workflow manager.
  ☆41Updated 6 years ago
• umd-dslam / SLOG
  SLOG: Serializable, Low-latency, Geo-replicated Transactions
  ☆45Updated last year
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆135Updated 4 years ago
• haochenpan / rabia
  Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
  ☆41Updated 2 years ago
• kunrenyale / CalvinDB
  Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)
  ☆25Updated 5 years ago
• flode / BwTree
  Implementation of the BwTree as specified by Microsoft Research
  ☆100Updated 9 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• yogykwan / system-design
  Some tiny exercises for system design.
  ☆37Updated 7 years ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆128Updated last year
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆63Updated 2 years ago
• xerial / streamdb-readings
  Readings in Stream Processing
  ☆122Updated 5 months ago
• jcarreira / cirrus-kv
  High-performance key-value store
  ☆12Updated 6 years ago
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 3 years ago
• strymon-system / megaphone
  Megaphone: Latency-conscious state migration
  ☆19Updated 5 years ago
• zTrix / 6.824_labs
  MIT 6.824 Lab 2012(C++)
  ☆30Updated 12 years ago
• kaimast / credb
  CreDB is an autonomous blockchain
  ☆1Updated 5 years ago