26 Repositories
tlaplus
2929
Examples
1519
DrTLAPlus
856
vscode-tlaplus
423
CommunityModules
314
awesome-tlaplus
180
PlusPy
119
tlapm
118
TLAiBench
35
foundation
34
PlusCalCheatSheet
29
AgentSkills
28
azure-cosmos-tla
21
lecture
13
rfcs
11
tlaplus-formatter
8
patterns
7
tla-by-example
6
ValidationTestSuite
5
tlaplus-standard
5
Survey
2
devkit
2
www
1
ConcurrentSCC
1
tlapm_alternative_parser_experiment
0
conf
0