Các kho mã nguồn mở đang theo dõi của tlaplus, sắp xếp theo số sao.
TLC là một trình kiểm tra mô hình cho các thông số kỹ thuật được viết bằng TLA+. TLA+Toolbox là một IDE cho TLA+.
Bộ sưu tập các đặc tả TLA⁺ với độ phức tạp khác nhau.
