Here are
60 public repositories
matching this topic...
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Updated
Sep 27, 2021
Java
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
APALACHE: symbolic model checker for TLA+
Updated
Oct 5, 2021
Scala
Command line binaries for the TLA+ language
Updated
Apr 23, 2020
Shell
Updated
Mar 16, 2021
Python
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Python interpreter for TLA+ specifications
Updated
May 12, 2021
Python
The Official Plugin for ProjectKorra.
Updated
Aug 24, 2021
Java
Proving a blocking queue deadlock free in a dozen different ways
Updated
Jun 2, 2021
Dafny
A simple REPL for the TLA+ language, using the TLC model checker.
Updated
Jun 25, 2020
Python
Different TLA+ specifications, mostly for learning purposes
TLA+ specification of Flexible Paxos
Updated
Oct 2, 2021
Emacs Lisp
Convert TLA+ output (and values) into JSON
Updated
Mar 3, 2021
Scala
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
TLA+ specification for Succinct Atomic Swap smart contract
How to use TLA+ / TLA+ specification of the ClickHouse replication protocol
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
TLA+ questions, answers, and experiments
Lightning talk about TLA+ for Scala Exchange 2018
Updated
Jan 6, 2020
Jupyter Notebook
Temporal Logic of Actions Modeling for Python
Updated
Mar 27, 2021
Python
Formal models of vac protocols
TLA+ Code to TeX Code using tla2tools.jar
TLA+ model of some SAFE network stuff
Some examples and notes while learning TLA+ modeling language.
Improve this page
Add a description, image, and links to the
tla
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
tla
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
Recent versions of TLC come with a (simple) REPL. It would be great if the REPL was integrated into the VSCode terminal.