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.5k 224

  2. Examples Examples Public

    A collection of TLA⁺ specifications of varying complexities.

    TLA 1.4k 211

  3. DrTLAPlus DrTLAPlus Public

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

    TLA 841 99

  4. vscode-tlaplus vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    TypeScript 390 41

  5. CommunityModules CommunityModules Public

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

    TLA 295 43

  6. tlapm tlapm Public

    The TLA⁺ Proof Manager

    OCaml 98 26

Repositories

Showing 10 of 23 repositories
  • 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,526 MIT 224 280 (48 issues need help) 27 Updated Oct 24, 2025
  • CommunityModules Public

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

    tlaplus/CommunityModules’s past year of commit activity
    TLA 295 MIT 43 13 4 Updated Oct 22, 2025
  • vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    tlaplus/vscode-tlaplus’s past year of commit activity
    TypeScript 390 MIT 41 62 (5 issues need help) 3 Updated Oct 22, 2025
  • foundation Public

    TLA+ Foundation

    tlaplus/foundation’s past year of commit activity
    HTML 31 6 3 0 Updated Oct 20, 2025
  • tlapm Public

    The TLA⁺ Proof Manager

    tlaplus/tlapm’s past year of commit activity
    OCaml 98 BSD-2-Clause 26 55 6 Updated Oct 18, 2025
  • TLAiBench Public

    TLAi+ Benchmarks

    tlaplus/TLAiBench’s past year of commit activity
    Python 14 MIT 3 4 0 Updated Oct 7, 2025
  • ValidationTestSuite Public

    Tool qualification tests and reports for the TLA+ model checker

    tlaplus/ValidationTestSuite’s past year of commit activity
    Python 5 0 4 0 Updated Oct 6, 2025
  • Examples Public

    A collection of TLA⁺ specifications of varying complexities.

    tlaplus/Examples’s past year of commit activity
    TLA 1,415 211 10 (1 issue needs help) 1 Updated Sep 10, 2025
  • devkit Public

    Documents and code artifacts teaching you how to build your own TLA⁺ tools.

    tlaplus/devkit’s past year of commit activity
    Java 2 MIT 0 0 0 Updated Sep 2, 2025
  • conf Public
    tlaplus/conf’s past year of commit activity
    CSS 0 CC-BY-4.0 1 0 0 Updated May 8, 2025
View all repositories

Most used topics

Loading…