Alternatives and similar repositories for NEAT:

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

• dranov / raft-tla
  ☆19Updated 3 years ago
• ramanala / PACE
  Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems
  ☆15Updated 8 years ago
• PingCAP-QE / go-sqlancer
  go-sqlancer
  ☆75Updated 4 years ago
• tcse-iscas / Mocket
  TLA+ model checking guided testing for distributed systems
  ☆16Updated 11 months ago
• mitdbg / deneva
  Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.
  ☆112Updated last year
• UWASL / NIFTY
  NIFTY is a fault tolerance tool to partial network partitions. In case of partial network partitions, NIFTY preserves cluster connectivit…
  ☆18Updated 4 years ago
• michaelzenz / jecci
  Jepsen and Elle based Consistency Checking Interface
  ☆21Updated 2 years ago
• yxymit / Sundial
  Sundial: A distributed OLTP database testbed.
  ☆37Updated 4 years ago
• PingCAP-QE / matrix
  fuzzing for config
  ☆13Updated 4 years ago
• stanford-mast / pocket
  Elastic ephemeral storage
  ☆118Updated 2 years ago
• viktorleis / mmapbench
  ☆132Updated 2 years ago
• UWHustle / HATtrick
  ☆30Updated 2 years ago
• epfl-dcsl / hovercraft
  ☆14Updated 4 years ago
• CASP-Systems-BU / Gadget
  A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores
  ☆17Updated 9 months ago
• audreyccheng / taobench
  A distributed database benchmark based on TAO's workload
  ☆38Updated last year
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• umd-dslam / SLOG
  SLOG: Serializable, Low-latency, Geo-replicated Transactions
  ☆42Updated last year
• chenhao-ye / polaris
  Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”
  ☆24Updated last year
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 6 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆61Updated 2 years ago
• efficient / fasst
  Source code for our OSDI 2016 paper
  ☆111Updated 6 years ago
• intellistream / StreamProcessing_ReadingList
  stream processing reading list
  ☆68Updated last year
• belliottsmith / accord
  ☆26Updated 2 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated 2 years ago
• stanford-mast / reflex
  ReFlex: Remote Flash == Local Flash
  ☆89Updated 6 years ago
• apache / incubator-crail
  Mirror of Apache crail (Incubating)
  ☆149Updated 2 years ago
• alg-nju / disalg-bib-dict
  ☆11Updated 2 months ago
• utsaslab / crashmonkey
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆195Updated 2 years ago
• readablesystems / sto
  Software Transactional Objects
  ☆58Updated 9 months ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆51Updated 4 months ago