26 Repositories
tlaplus
2963
Examples
1533
DrTLAPlus
858
vscode-tlaplus
429
CommunityModules
314
awesome-tlaplus
184
tlapm
123
PlusPy
119
TLAiBench
36
foundation
34
PlusCalCheatSheet
30
AgentSkills
29
azure-cosmos-tla
21
lecture
14
rfcs
11
tlaplus-formatter
8
tla-by-example
7
patterns
7
ValidationTestSuite
5
tlaplus-standard
5
Survey
2
devkit
2
www
1
ConcurrentSCC
1
tlapm_alternative_parser_experiment
0
conf
0