Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
tlaplus
Star
5622
Rank
4436
Go to GitHub
Fetched on 2025/03/15 12:11
20 Repositories
tlaplus
2388
Examples
1334
DrTLAPlus
828
vscode-tlaplus
366
CommunityModules
278
awesome-tlaplus
137
PlusPy
113
tlapm
73
foundation
27
azure-cosmos-tla
21
PlusCalCheatSheet
20
rfcs
13
lecture
9
patterns
7
tlaplus-standard
5
Survey
2
www
1
tlapm_alternative_parser_experiment
0
conf
0
ConcurrentSCC
0
