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 3k 264

  2. Examples Examples Public

    A collection of TLA⁺ specifications of varying complexities.

    TLA 1.6k 223

  3. DrTLAPlus DrTLAPlus Public

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

    TLA 860 100

  4. vscode-tlaplus vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    TypeScript 435 50

  5. CommunityModules CommunityModules Public

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

    TLA 314 48

  6. tlapm tlapm Public

    The TLA⁺ Proof Manager

    OCaml 124 45

Repositories

Showing 10 of 27 repositories
  • model-checker-hardening Public

    Hardening TLC and Apalache through systematic, differential, fuzz, and regression testing to improve the reliability of TLA+ model checking

    tlaplus/model-checker-hardening's past year of commit activity
    Java 7 Apache-2.0 0 30 0 Updated Sep 10, 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 3,040 MIT 264 208 (30 issues need help) 31 Updated Sep 10, 2026
  • tla-by-example Public
    tlaplus/tla-by-example's past year of commit activity
    TypeScript 10 5 3 0 Updated Sep 9, 2026
  • CommunityModules Public

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

    tlaplus/CommunityModules's past year of commit activity
    TLA 314 MIT 48 13 2 Updated Sep 9, 2026
  • tlapm Public

    The TLA⁺ Proof Manager

    tlaplus/tlapm's past year of commit activity
    OCaml 124 BSD-2-Clause 45 69 11 Updated Sep 8, 2026
  • Examples Public

    A collection of TLA⁺ specifications of varying complexities.

    tlaplus/Examples's past year of commit activity
    TLA 1,567 223 5 (1 issue needs help) 4 Updated Aug 31, 2026
  • vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    tlaplus/vscode-tlaplus's past year of commit activity
    TypeScript 435 MIT 50 67 (5 issues need help) 2 Updated Aug 23, 2026
  • foundation Public

    TLA+ Foundation

    tlaplus/foundation's past year of commit activity
    HTML 35 7 3 1 Updated Jul 21, 2026
  • ValidationTestSuite Public

    Tool qualification tests and reports for the TLA+ model checker

    tlaplus/ValidationTestSuite's past year of commit activity
    Python 6 2 5 0 Updated May 21, 2026
  • conf Public
    tlaplus/conf's past year of commit activity
    CSS 0 CC-BY-4.0 1 0 0 Updated May 5, 2026
View all repositories