27 Repositories
tlaplus
3003
Examples
1555
DrTLAPlus
862
vscode-tlaplus
432
CommunityModules
315
awesome-tlaplus
187
tlapm
125
PlusPy
119
TLAiBench
36
AgentSkills
36
foundation
34
PlusCalCheatSheet
31
azure-cosmos-tla
21
lecture
14
rfcs
12
tla-by-example
9
tlaplus-formatter
8
patterns
7
ValidationTestSuite
6
tlaplus-standard
5
Survey
2
model-checker-hardening
2
devkit
2
ConcurrentSCC
2
www
1
tlapm_alternative_parser_experiment
0
conf
0