Repositórios de código aberto acompanhados de tlaplus, ordenados por estrelas.
TLC é um verificador de modelos para especificações escritas em TLA+. O TLA+Toolbox é uma IDE para TLA+.
Uma coleção de especificações TLA⁺ de complexidades variadas.
