wgolab / WatCA

Related projects ⓘ

Alternatives and complementary repositories for WatCA

• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆172Updated 3 months ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆97Updated 6 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 9 years ago
• madthanu / alice
  ☆177Updated 6 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆47Updated 3 years ago
• AugmentedTimeProject / AugmentedTimeProject
  A project to implement Augmented Time
  ☆49Updated 10 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 3 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆52Updated 6 years ago
• rystsov / simdistsys
  Simulated playground for distributed algorithms
  ☆14Updated 4 years ago
• GTkernel / nibble-lsm
  Concurrent Log-Structured Memory for Many-Core Key-Value Stores
  ☆35Updated 4 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆18Updated 4 years ago
• will62794 / snapshot-isolation-spec
  A formal specification of snapshot isolation.
  ☆18Updated this week
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• Randommood / RICON2014
  This repo contains the reference materials to my RICON 2014 talk
  ☆33Updated 7 years ago
• aganesan4 / CORDS
  File-system fault injection framework for distributed storage systems
  ☆62Updated 6 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 10 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆49Updated 4 years ago
• umd-dslam / SLOG
  SLOG: Serializable, Low-latency, Geo-replicated Transactions
  ☆41Updated last year
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated last year
• LPD-EPFL / flodb
  A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.
  ☆26Updated 7 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated last year
• scalog / scalog
  reimplementing scalog from scratch
  ☆30Updated 4 years ago
• apache / incubator-retired-quickstep
  Apache Quickstep Incubator - This project is retired
  ☆94Updated 5 years ago
• HewlettPackard / foedus_code
  FOEDUS main source code repository
  ☆64Updated 7 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• sears / bLSM
  Read- and latency-optimized log structured merge tree
  ☆174Updated 12 years ago
• TimelyDataflow / Naiad
  The Naiad system provides fast incremental and iterative computation for data-parallel workloads
  ☆23Updated 6 years ago
• oscarlab / betrfs
  ☆282Updated 5 months ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆46Updated 5 years ago