Alternatives and similar repositories for pg-serializability-bug

Users that are interested in pg-serializability-bug are comparing it to the libraries listed below

• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆417Updated last month
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆67Updated 10 years ago
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆24Updated 3 years ago
• madthanu / alice
  ☆186Updated 7 years ago
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆89Updated 6 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆176Updated 4 years ago
• Randommood / RICON2014
  This repo contains the reference materials to my RICON 2014 talk
  ☆33Updated 8 years ago
• scylladb / charybdefs
  ScyllaDB fault injection filesystem
  ☆253Updated 4 years ago
• indeedeng / mph-table
  Immutable key/value store with efficient space utilization and fast reads. They are ideal for the use-case of tables built by batch proce…
  ☆101Updated 2 years ago
• aphyr / gretchen
  Offline serializability verification, in Clojure
  ☆66Updated 8 years ago
• aphyr / timelike
  A library for simulating parallel systems, in Clojure
  ☆183Updated 12 years ago
• pbailis / ramp-sigmod2014-code
  Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
  ☆71Updated 11 years ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆105Updated last year
• cruzdb / cruzdb
  Append-only key-value database on a distributed shared-log
  ☆52Updated last year
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 7 years ago
• hypirion / pvec-perf
  Persistent vector performance measurements and analysis
  ☆22Updated 11 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆86Updated 4 years ago
• efficient / qlease
  ☆24Updated 11 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆686Updated last month
• VadimPlh / Arrival
  How to use TLA+ / TLA+ specification of the ClickHouse replication protocol
  ☆17Updated 6 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆41Updated 2 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆104Updated 7 years ago
• aphyr / meangirls
  Convergent Replicated Data Types
  ☆662Updated 10 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆48Updated 6 years ago
• pwood / fdbexplorer
  A TUI tool for exploring the status of FoundationDB clusters.
  ☆29Updated 7 months ago
• atomix / atomix-jepsen
  Atomix Jepsen tests
  ☆14Updated 9 years ago
• tyrdbs / tyrdbs
  ☆22Updated 2 years ago
• will62794 / snapshot-isolation-spec
  A formal specification of snapshot isolation.
  ☆19Updated 6 months ago
• cruzdb / zlog
  A high-performance distributed shared-log for Ceph
  ☆115Updated 6 years ago
• rohansuri / adaptive-radix-tree
  A fast and space efficient Radix tree in Java
  ☆132Updated 5 years ago