Alternatives and similar repositories for linearizability-checker

Users that are interested in linearizability-checker are comparing it to the libraries listed below

• will62794 / snapshot-isolation-spec

  View on GitHub
  A formal specification of snapshot isolation.
  ☆19Jul 17, 2025Updated 6 months ago
• Randommood / RICON2014

  View on GitHub
  This repo contains the reference materials to my RICON 2014 talk
  ☆33Jul 17, 2017Updated 8 years ago
• gitorious / git-archive-daemon

  View on GitHub
  Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)
  ☆13Nov 18, 2014Updated 11 years ago
• michael-emmi / violat

  View on GitHub
  ☆10Mar 10, 2024Updated last year
• pron / amazon-snapshot-spec

  View on GitHub
  TLA+ and Alloy specs of database isolation
  ☆21Oct 13, 2015Updated 10 years ago
• atomix / atomix-jepsen

  View on GitHub
  Atomix Jepsen tests
  ☆14Feb 7, 2017Updated 9 years ago
• rystsov / fast-jepsen

  View on GitHub
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Dec 4, 2018Updated 7 years ago
• avikivity / fsqual

  View on GitHub
  Filesystem qualification tool
  ☆60Nov 23, 2025Updated 2 months ago
• JPDSousa / AQL

  View on GitHub
  An SQL interface for AntidoteDB
  ☆13Mar 18, 2018Updated 7 years ago
• aphyr / gretchen

  View on GitHub
  Offline serializability verification, in Clojure
  ☆66Jun 7, 2017Updated 8 years ago
• bloom-lang / c4

  View on GitHub
  Low-latency Overlog runtime
  ☆18Jun 2, 2015Updated 10 years ago
• riyadparvez / symdrive

  View on GitHub
  ☆11Jun 10, 2015Updated 10 years ago
• spacejam / rasputin

  View on GitHub
  (getting to be a) hard to kill scalable linearizabe store
  ☆79Jan 19, 2016Updated 10 years ago
• apangin / vmtrace

  View on GitHub
  This project is obsoleted by https://github.com/odnoklassniki/jvmti-tools
  ☆13Apr 20, 2021Updated 4 years ago
• bdrouvot / pg_directpaths

  View on GitHub
  ☆13Apr 22, 2023Updated 2 years ago
• microsoft / Ironclad

  View on GitHub
  The MSR Ironclad project builds provably secure and reliable systems.
  ☆264Jun 3, 2023Updated 2 years ago
• Gandi / ktrill

  View on GitHub
  DEPRECATED - TRILL implementation in the Linux Kernel (obsolete and unmaintained)
  ☆23Nov 10, 2015Updated 10 years ago
• yasuoka / mleakdetect

  View on GitHub
  minimum memory leak checker
  ☆11Oct 14, 2022Updated 3 years ago
• gfredericks / pg-serializability-bug

  View on GitHub
  Reproduction code for Postgres BUG #13667
  ☆17Jan 7, 2016Updated 10 years ago
• rlu-sync / rlu-rht

  View on GitHub
  RLU resizable hash-table
  ☆17Aug 24, 2015Updated 10 years ago
• intel / ciao-webui

  View on GitHub
  ☆19Apr 13, 2017Updated 8 years ago
• maciej-bendkowski / generic-boltzmann-brain

  View on GitHub
  Analytic sampler framework for algebraic data types
  ☆16May 12, 2023Updated 2 years ago
• panda-planner-dev / pandaPIengine

  View on GitHub
  ☆19May 14, 2024Updated last year
• CentOS / Calendar

  View on GitHub
  The CentOS Project Calendar
  ☆12Mar 14, 2025Updated 11 months ago
• dgryski / modelchecking

  View on GitHub
  model checking samples
  ☆17Oct 18, 2021Updated 4 years ago
• ailidani / paxi

  View on GitHub
  Paxos protocol framework
  ☆558Dec 29, 2023Updated 2 years ago
• dranov / protocol-bugs-list

  View on GitHub
  List of bugs found in distributed protocols
  ☆206May 15, 2024Updated last year
• jepsen-io / elle

  View on GitHub
  Black-box transactional safety checker based on cycle detection
  ☆687Dec 13, 2025Updated 2 months ago
• aganesan4 / CORDS

  View on GitHub
  File-system fault injection framework for distributed storage systems
  ☆68Oct 29, 2018Updated 7 years ago
• palvaro / molly

  View on GitHub
  An implementation of LDFI
  ☆128Nov 4, 2018Updated 7 years ago
• hachikuji / kafka-specification

  View on GitHub
  TLA+ specification of the Kafka replication protocol
  ☆89Jan 2, 2020Updated 6 years ago
• datastax / fallout

  View on GitHub
  Distributed System Testing as a Service
  ☆52Mar 19, 2025Updated 10 months ago
• mthom / shen-minikanren

  View on GitHub
  An embedding of miniKanren in Shen.
  ☆25Jun 6, 2015Updated 10 years ago
• rlu-sync / rlu

  View on GitHub
  Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
  ☆49Aug 31, 2015Updated 10 years ago
• kinvolk / egress-filtering-benchmark

  View on GitHub
  ☆24Dec 18, 2020Updated 5 years ago
• penberg / ustat

  View on GitHub
  ustat - an unified system stats collector tool
  ☆22Feb 5, 2018Updated 8 years ago
• aman-goel / ic3po

  View on GitHub
  IC3PO: IC3 for Proving Protocol Properties
  ☆28Sep 10, 2024Updated last year
• Azure / azure-cosmos-tla

  View on GitHub
  Azure Cosmos TLA+ specifications
  ☆293Dec 14, 2023Updated 2 years ago
• mit-pdos / dsrg

  View on GitHub
  Distributed Systems Reading Group
  ☆20Nov 28, 2017Updated 8 years ago