madthanu / alice

Related projects ⓘ

Alternatives and complementary repositories for alice

• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆97Updated 6 years ago
• nvanbenschoten / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆60Updated 4 years ago
• go-distributed / epaxos
  epaxos
  ☆99Updated 8 years ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆126Updated 8 months ago
• scalog / scalog
  reimplementing scalog from scratch
  ☆30Updated 4 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆398Updated last year
• AugmentedTimeProject / AugmentedTimeProject
  A project to implement Augmented Time
  ☆49Updated 10 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆86Updated 6 years ago
• efficient / epaxos
  ☆612Updated 3 years ago
• scylladb / charybdefs
  ScyllaDB fault injection filesystem
  ☆248Updated 3 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 9 years ago
• peterbourgon / caspaxos
  A Go implementation of the CASPaxos protocol
  ☆295Updated 6 years ago
• ailidani / paxi
  Paxos protocol framework
  ☆551Updated 10 months ago
• ease-lab / Hermes
  Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…
  ☆165Updated 7 months ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• aganesan4 / CORDS
  File-system fault injection framework for distributed storage systems
  ☆62Updated 6 years ago
• efficient / qlease
  ☆24Updated 10 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆46Updated 3 years ago
• hodgesds / iouring-go
  io_uring support for go
  ☆205Updated 4 years ago
• scylladb / diskplorer
  ☆223Updated 4 months ago
• timtadh / file-structures
  File Structures (B+Tree, BTree) for Go
  ☆70Updated 9 years ago
• wpaxos / paxi
  Paxos protocol variants framework
  ☆27Updated 6 years ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆311Updated 2 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆49Updated 4 years ago
• pingcap / chaos
  A test framework for linearizability check with Go
  ☆208Updated 5 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆133Updated 4 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• belliottsmith / accord
  ☆26Updated 2 years ago
• relab / gorums
  Gorums simplify fault-tolerant quorum-based protocols
  ☆138Updated last month