26 Repositories
tlaplus
2644
Examples
1466
DrTLAPlus
848
vscode-tlaplus
408
CommunityModules
306
awesome-tlaplus
168
PlusPy
117
tlapm
109
foundation
33
TLAiBench
30
PlusCalCheatSheet
25
azure-cosmos-tla
21
AgentSkills
14
lecture
12
rfcs
11
tlaplus-formatter
8
patterns
7
tlaplus-standard
5
tla-by-example
5
ValidationTestSuite
4
Survey
2
devkit
2
www
1
ConcurrentSCC
1
tlapm_alternative_parser_experiment
0
conf
0