Results
11
repositories owned by
TLA+
tlaplus
252
Stars
14
Forks
Watchers
💥 One stop shop for eliminating the grunt work of setting up a Tailwind Web App across multiple frameworks. Just type in `npx new-tailwind-app` in your terminal and set up everything instantly.
vscode-tlaplus
334
Stars
29
Forks
Watchers
TLA+ language support for Visual Studio Code
PlusPy
110
Stars
9
Forks
Watchers
Python interpreter for TLA+ specifications
Examples
1.2k
Stars
187
Forks
Watchers
A collection of TLA⁺ specifications of varying complexities
DrTLAPlus
781
Stars
98
Forks
Watchers
Dr. TLA+ series - learn an algorithm and protocol, study a specification
CommunityModules
259
Stars
37
Forks
Watchers
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
azure-cosmos-tla
17
Stars
5
Forks
Watchers
Azure Cosmos TLA+ specifications