Alternatives and similar repositories for awesome-tlaplus

Users that are interested in awesome-tlaplus are comparing it to the libraries listed below

• tlaplus / DrTLAPlus

  View on GitHub
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆847Apr 18, 2022Updated 3 years ago
• kelvich / tlaplus_jupyter

  View on GitHub
  Jupyter kernel for TLA⁺
  ☆121Sep 12, 2022Updated 3 years ago
• hwayne / tla-snippets

  View on GitHub
  A collection of useful TLA+ operators
  ☆21Feb 15, 2018Updated 8 years ago
• lostbearlabs / tiny-tlaplus-examples

  View on GitHub
  Very small examples of TLA+ features.
  ☆42Apr 14, 2019Updated 6 years ago
• lorin / tla-linearizability

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

  View on GitHub
  ☆21Oct 25, 2021Updated 4 years ago
• muratdem / PlusCal-examples

  View on GitHub
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆81Oct 21, 2023Updated 2 years ago
• pascalpoizat / fbpmn

  View on GitHub
  formal tools for BPMN
  ☆36Jul 1, 2025Updated 7 months ago
• will62794 / tlaplus_animation

  View on GitHub
  A TLA+ module for animating TLC traces.
  ☆47Dec 9, 2024Updated last year
• lemmy / BlockingQueue

  View on GitHub
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆500Oct 27, 2024Updated last year
• tlaplus / vscode-tlaplus

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

  View on GitHub
  Create SVG or bitmaps from simple ASCII diagrams, EBNF notations, etc.
  ☆19May 7, 2015Updated 10 years ago
• tlaplus / Examples

  View on GitHub
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,449Updated this week
• acharapko / fleetdb

  View on GitHub
  ☆12Dec 14, 2019Updated 6 years ago
• deepfabric / hyena

  View on GitHub
  Cloud Native Distributed Nearest Neighbour Search
  ☆15Jun 9, 2020Updated 5 years ago
• libp2p / go-libp2p-host

  View on GitHub
  [DEPRECATED] The host interface for go-libp2p; use https://github.com/libp2p/go-libp2p-core/ instead.
  ☆19May 24, 2019Updated 6 years ago
• pingcap / tla-plus

  View on GitHub
  ☆305Jun 9, 2024Updated last year
• tlaplus / CommunityModules

  View on GitHub
  TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
  ☆302Jan 20, 2026Updated 3 weeks ago
• elastic / elasticsearch-formal-models

  View on GitHub
  Formal models of core Elasticsearch algorithms
  ☆214Feb 5, 2025Updated last year
• Apress / practical-tla-plus

  View on GitHub
  Source Code for 'Practical TLA+' by Hillel Wayne
  ☆296Apr 13, 2022Updated 3 years ago
• will62794 / tlaplus_repl

  View on GitHub
  A simple REPL for TLA+.
  ☆40Mar 15, 2024Updated last year
• apalache-mc / apalache

  View on GitHub
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆529Updated this week
• hengxin / tlaps-examples

  View on GitHub
  Examples for TLAPS (TLA+ Proof System)
  ☆16May 9, 2020Updated 5 years ago
• tangruize / tlc-cmd

  View on GitHub
  Run TLC in cmd
  ☆15Jan 20, 2026Updated 3 weeks ago
• collins-research / FuzzM

  View on GitHub
  ☆16Apr 15, 2019Updated 6 years ago
• italia / daf-kylo

  View on GitHub
  Kylo integration with PDND (previously DAF).
  ☆19Nov 16, 2022Updated 3 years ago
• tezedge / tezedge-specification

  View on GitHub
  TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
  ☆21Dec 14, 2021Updated 4 years ago
• fpaxos / ffpaxos-tlaplus

  View on GitHub
  TLA+ specification of Fast Flexible Paxos
  ☆17Oct 9, 2020Updated 5 years ago
• hwayne / tlacli

  View on GitHub
  A script for running TLA+/TLC from the command line
  ☆81Apr 20, 2021Updated 4 years ago
• sfproductlabs / dcrontab

  View on GitHub
  Dcrontab is a Distributed Crontab using Raft Consensus (esp. useful for scheduling critical tasks)
  ☆19Feb 24, 2023Updated 2 years ago
• ongardie / raft.tla

  View on GitHub
  TLA+ specification for the Raft consensus algorithm
  ☆507Feb 18, 2025Updated 11 months ago
• Sable / HorsePower

  View on GitHub
  Optimizing database queries with array programming
  ☆20Sep 21, 2020Updated 5 years ago
• visualzhou / mongo-repl-tla

  View on GitHub
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆48Nov 23, 2019Updated 6 years ago
• DistributedClocks / shiviz

  View on GitHub
  A tool to visualize distributed system logs
  ☆86Dec 1, 2021Updated 4 years ago
• dgryski / go-subset

  View on GitHub
  deterministic subsetting
  ☆24Mar 29, 2018Updated 7 years ago
• 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
• hachikuji / kafka-specification

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

  View on GitHub
  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
  ☆2,606Updated this week
• d4l3k / skeletondb

  View on GitHub
  SkeletonDB is a lock-less thread safe in memory MVCC store written in Go.
  ☆23Dec 13, 2016Updated 9 years ago