TLA+'s repositories
vscode-tlaplus
TLA+ language support for Visual Studio Code
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
awesome-tlaplus
A curated list of TLA+ resources.
foundation
TLA+ Foundation
azure-cosmos-tla
Azure Cosmos TLA+ specifications
PlusCalCheatSheet
PlusCal Cheat Sheet by Stephan Merz
tlaplus-standard
A collection of various standards, proposed or established, related to TLA+
ConcurrentSCC
Prototypes of Concurrent Strongly Connected Components (SCC) algorithms
tlapm_alternative_parser_experiment
The rewrite of TLAPM, the TLAPS proof manager