Projects in Awesome Lists by tlaplus
A curated list of projects in awesome lists by tlaplus .
https://github.com/tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
algorithms high-performance java mit-license model-checking specifications tla verification
Last synced: 06 Apr 2026
https://github.com/tlaplus/Examples
A collection of TLA⁺ specifications of varying complexities.
Last synced: 26 Mar 2025
https://github.com/tlaplus/examples
A collection of TLA⁺ specifications of varying complexities.
Last synced: 23 Feb 2026
https://github.com/tlaplus/drtlaplus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
algorithm pluscal protocol tlaplus
Last synced: 25 Jan 2026
https://github.com/tlaplus/DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
algorithm pluscal protocol tlaplus
Last synced: 20 Apr 2025
https://github.com/tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
formal-methods model-checking pluscal specification tla tlc verification vscode-extension
Last synced: 05 Mar 2026
https://github.com/tlaplus/communitymodules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
pluscal tla-specification tlaplus
Last synced: 06 Apr 2026
https://github.com/tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
pluscal tla-specification tlaplus
Last synced: 26 Mar 2025
https://github.com/tlaplus/pluspy
Python interpreter for TLA+ specifications
Last synced: 10 Apr 2025
https://github.com/tlaplus/pluscalcheatsheet
PlusCal Cheat Sheet by Stephan Merz
Last synced: 05 Feb 2026
https://github.com/tlaplus/azure-cosmos-tla
Azure Cosmos TLA+ specifications
azure cosmosdb model-checking tlaplus
Last synced: 26 Mar 2025
https://github.com/tlaplus/rfcs
RFCs for changes to the TLA+ specification language
Last synced: 01 Feb 2026
https://github.com/tlaplus/lecture
The TLA+ Video Course by Leslie Lamport
tla tla-plus tla-specification tlaplus
Last synced: 05 Mar 2026
https://github.com/tlaplus/tlaplus-standard
A collection of various standards, proposed or established, related to TLA+
Last synced: 08 Oct 2025
https://github.com/tlaplus/validationtestsuite
Tool qualification tests and reports for the TLA+ model checker
Last synced: 24 Feb 2026
https://github.com/tlaplus/devkit
Documents and code artifacts teaching you how to build your own TLA⁺ tools.
Last synced: 27 Feb 2026
https://github.com/tlaplus/concurrentscc
Prototypes of Concurrent Strongly Connected Components (SCC) algorithms
algorithms concurrent scc tarjan tlaplus
Last synced: 28 May 2026