Alternatives and similar repositories for gaudi

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

• CaitieM20 / TheVerificationOfDistributedSystem
  Accompanying Repository for The Verification of a Distributed System Talk
  ☆191Updated 9 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆77Updated last year
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆214Updated last year
• lalithsuresh / rapid
  Rapid is a scalable distributed membership service
  ☆137Updated 2 years ago
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆89Updated 6 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆417Updated last month
• BuoyantIO / strest-grpc
  A load tester for stress testing grpc intermediaries.
  ☆90Updated 5 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆86Updated 4 years ago
• palvaro / CMPS232-Fall16
  ☆101Updated 7 years ago
• danchia / ddb
  ☆132Updated 7 years ago
• Randommood / YOW2016
  References for YOW2016
  ☆19Updated 9 years ago
• ExpediaGroup / mittens
  Warm-up routine for http applications over REST and gRPC
  ☆65Updated last week
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆686Updated last month
• codahale / usl4j
  A reasonably complete implementation of the Universal Scalability Law model.
  ☆202Updated 6 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆48Updated 6 years ago
• mkocikowski / libkafka
  Golang implementation of Kafka wire protocol.
  ☆31Updated 3 years ago
• apache / cassandra-harry
  Harry for Apache Cassandra®
  ☆56Updated last year
• will62794 / mongo-repl-tla-models
  TLC models for the MongoDB Replication TLA+ specification.
  ☆21Updated 5 years ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆500Updated last year
• peterbourgon / caspaxos
  A Go implementation of the CASPaxos protocol
  ☆298Updated 7 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆90Updated 9 years ago
• ftrossbach / crossing-the-streams
  ☆17Updated 8 years ago
• mitchellh / tlaplus-radix-tree
  TLA+ modules, specifications, and models for Radix trees.
  ☆33Updated 4 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆104Updated 7 years ago
• aphyr / partitions-post
  A blog post on network partitions in practice
  ☆186Updated 11 years ago
• census-instrumentation / opencensus-specs
  ☆189Updated 2 years ago
• uwplse / oddity
  A graphical, time-traveling debugger for distributed systems
  ☆31Updated 4 years ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆240Updated 7 years ago
• redpanda-data / awesome-distributed-transactions
  Awesome list of distributed transactions
  ☆733Updated 4 years ago
• rubrikinc / kronos
  Distributed Time Synchronization Service
  ☆177Updated 3 months ago