Top TLA repos

languages / TLA / global

957 repos

«1...678...96»
RankRepoStarsDeveloper
nebulasio/research on Github61research15nebulasio
talex5/spec-vchan on Github62spec-vchan14talex5
TeamTilapia/vscode-tilapia on Github63vscode-tilapia14TeamTilapia
gotchoices/MyCHIPs on Github64MyCHIPs14gotchoices
kit-dsn/payment-channel-tla on Github65payment-channel-tla13kit-dsn
informalsystems/atomkraft-cosmos on Github66atomkraft-cosmos12informalsystems
aman-goel/ivybench on Github67ivybench12aman-goel
Rebalanser/wiki on Github68wiki12Rebalanser
muratdem/HLC on Github69HLC12muratdem
irfansharif/raft.tla on Github70raft.tla12irfansharif