Skip to content
@tlaplus

TLA+

TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.

Pinned Loading

  1. tlaplus tlaplus Public

    TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

    Java 2.6k 239

  2. Examples Examples Public

    A collection of TLA⁺ specifications of varying complexities.

    TLA 1.5k 214

  3. DrTLAPlus DrTLAPlus Public

    Dr. TLA+ series - learn an algorithm and protocol, study a specification

    TLA 848 99

  4. vscode-tlaplus vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    TypeScript 405 45

  5. CommunityModules CommunityModules Public

    TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

    TLA 302 45

  6. tlapm tlapm Public

    The TLA⁺ Proof Manager

    OCaml 108 30

Repositories

Showing 10 of 24 repositories
  • vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    tlaplus/vscode-tlaplus’s past year of commit activity
    TypeScript 405 MIT 45 64 (5 issues need help) 2 Updated Feb 20, 2026
  • tlaplus Public

    TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

    tlaplus/tlaplus’s past year of commit activity
    Java 2,611 MIT 239 284 (51 issues need help) 31 Updated Feb 20, 2026
  • conf Public
    tlaplus/conf’s past year of commit activity
    CSS 0 CC-BY-4.0 1 0 0 Updated Feb 20, 2026
  • ValidationTestSuite Public

    Tool qualification tests and reports for the TLA+ model checker

    tlaplus/ValidationTestSuite’s past year of commit activity
    Python 4 0 4 0 Updated Feb 20, 2026
  • Examples Public

    A collection of TLA⁺ specifications of varying complexities.

    tlaplus/Examples’s past year of commit activity
    TLA 1,452 214 11 (1 issue needs help) 2 Updated Feb 13, 2026
  • TLAiBench Public

    TLAi+ Benchmarks

    tlaplus/TLAiBench’s past year of commit activity
    Python 28 MIT 4 5 0 Updated Feb 6, 2026
  • AgentSkills Public

    A repository for sharing agent capabilities and expertise related to TLA+.

    tlaplus/AgentSkills’s past year of commit activity
    10 MIT 1 0 0 Updated Feb 4, 2026
  • awesome-tlaplus Public Forked from kaelzhang81/awesome-tlaplus

    A curated list of TLA+ resources.

    tlaplus/awesome-tlaplus’s past year of commit activity
    165 27 2 0 Updated Jan 30, 2026
  • CommunityModules Public

    TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

    tlaplus/CommunityModules’s past year of commit activity
    TLA 302 MIT 45 13 2 Updated Jan 20, 2026
  • tlapm Public

    The TLA⁺ Proof Manager

    tlaplus/tlapm’s past year of commit activity
    OCaml 108 BSD-2-Clause 30 59 6 Updated Jan 15, 2026
View all repositories