Alternatives and similar repositories for synchronous-tla-benchmarks

Users that are interested in synchronous-tla-benchmarks are comparing it to the libraries listed below

• tangruize / tlc-cmd

  View on GitHub
  Run TLC in cmd
  ☆15Jan 20, 2026Updated 3 weeks ago
• aman-goel / ivybench

  View on GitHub
  Collection of Distributed Protocol Verification Problems
  ☆15Apr 27, 2024Updated last year
• decanus / rutschblock

  View on GitHub
  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
  ☆18May 8, 2020Updated 5 years ago
• informalsystems / vdd

  View on GitHub
  Verification-Driven Development
  ☆21Mar 26, 2021Updated 4 years ago
• lemmy / ewd998

  View on GitHub
  Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
  ☆42Apr 23, 2023Updated 2 years ago
• will62794 / logless-reconfig

  View on GitHub
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆14Dec 16, 2024Updated last year
• tse-group / ebb-and-flow

  View on GitHub
  ☆11Oct 7, 2022Updated 3 years ago
• mryndzionek / tlaplus_specs

  View on GitHub
  Different TLA+ specifications, mostly for learning purposes
  ☆31May 6, 2024Updated last year
• onosproject / tlaplus-monitor

  View on GitHub
  Tools for conformance monitoring on Kubernetes with TLA+
  ☆23Jun 26, 2024Updated last year
• interlay / compressed-inclusion-proofs

  View on GitHub
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Jan 24, 2023Updated 3 years ago
• tlaplus / rfcs

  View on GitHub
  RFCs for changes to the TLA+ specification language
  ☆11Mar 19, 2025Updated 10 months ago
• dgpv / SASwap_TLAplus_spec

  View on GitHub
  TLA+ specification for Succinct Atomic Swap smart contract
  ☆23Jul 3, 2020Updated 5 years ago
• Cjen1 / reckon

  View on GitHub
  ☆15Sep 10, 2024Updated last year
• will62794 / tlaplus_animation

  View on GitHub
  A TLA+ module for animating TLC traces.
  ☆47Dec 9, 2024Updated last year
• tlaplus-community / tree-sitter-tlaplus

  View on GitHub
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆73Jan 23, 2026Updated 3 weeks ago
• will62794 / endive

  View on GitHub
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆21Jan 19, 2026Updated 3 weeks ago
• blockchain-lab / ScaleOutDistributedLedger

  View on GitHub
  TU Delft Blockchain Engineering course project on scale-out distributed ledger
  ☆13Mar 4, 2018Updated 7 years ago
• isislovecruft / signal-anonymous-credentials

  View on GitHub
  A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.
  ☆14Dec 20, 2019Updated 6 years ago
• novifinancial / LibraChain

  View on GitHub
  A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover
  ☆26May 28, 2020Updated 5 years ago
• vrahli / Velisarios

  View on GitHub
  A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
  ☆32Aug 13, 2019Updated 6 years ago
• lorin / tla-linearizability

  View on GitHub
  Reading the linearizability paper with TLA+
  ☆51Apr 24, 2022Updated 3 years ago
• tlaplus / awesome-tlaplus

  View on GitHub
  A curated list of TLA+ resources.
  ☆164Jan 30, 2026Updated 2 weeks ago
• IPDSnelting / tba-2021

  View on GitHub
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆51Jul 1, 2021Updated 4 years ago
• Vanlightly / bookkeeper-tlaplus

  View on GitHub
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆105Mar 16, 2024Updated last year
• statechannels / tla-specs

  View on GitHub
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Jun 12, 2020Updated 5 years ago
• konnov / bymc

  View on GitHub
  Byzantine model checker
  ☆21Mar 7, 2023Updated 2 years ago
• informalsystems / modelator

  View on GitHub
  Model-based testing tool
  ☆63Mar 12, 2025Updated 11 months ago
• Aptoide / AppCoins-white-paper

  View on GitHub
  AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…
  ☆12May 22, 2018Updated 7 years ago
• ElliotSwart / pragmaticformalmodeling

  View on GitHub
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Jul 7, 2022Updated 3 years ago
• tlaplus / vscode-tlaplus

  View on GitHub
  TLA+ language support for Visual Studio Code
  ☆403Feb 9, 2026Updated last week
• joshbeal / derecho

  View on GitHub
  A Rust library for proof-carrying disclosures
  ☆23Apr 10, 2024Updated last year
• informalsystems / tla-apalache-workshop

  View on GitHub
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Apr 17, 2023Updated 2 years ago
• pron / amazon-snapshot-spec

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

  View on GitHub
  ☆23Oct 3, 2022Updated 3 years ago
• crytic / whipstaff

  View on GitHub
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆21Aug 12, 2019Updated 6 years ago
• kwantam / GooSig

  View on GitHub
  GooSig: short signatures from RSA that hide the signer's RSA public key
  ☆12Jan 8, 2020Updated 6 years ago
• SabaEskandarian / PunchCard

  View on GitHub
  A privacy-preserving digital version of punch cards used in store loyalty programs
  ☆11Apr 19, 2021Updated 4 years ago
• zchcai / ethereum-dapps-verification

  View on GitHub
  State-of-the-art about program verification on Ethereum DApps
  ☆22Dec 6, 2023Updated 2 years ago
• aman-goel / ic3po

  View on GitHub
  IC3PO: IC3 for Proving Protocol Properties
  ☆28Sep 10, 2024Updated last year