Skip to content
@tlaplus

TLA+

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

Pinned Loading

  1. tlaplus Public

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

    Java 2.4k 209

  2. Examples Public

    A collection of TLA⁺ specifications of varying complexities.

    TLA 1.3k 204

  3. DrTLAPlus Public

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

    TLA 830 99

  4. vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    TypeScript 375 39

  5. CommunityModules Public

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

    TLA 282 39

  6. tlapm Public

    The TLA⁺ Proof Manager

    OCaml 73 24

Repositories

Showing 10 of 21 repositories
  • vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    TypeScript 375 MIT 39 58 (1 issue needs help) 3 Updated Apr 24, 2025
  • tlaplus Public

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

    Java 2,415 MIT 209 266 (44 issues need help) 20 Updated Apr 24, 2025
  • tlapm Public

    The TLA⁺ Proof Manager

    OCaml 73 BSD-2-Clause 24 56 5 Updated Apr 22, 2025
  • devkit Public

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

    Java 1 MIT 0 0 0 Updated Apr 21, 2025
  • foundation Public

    TLA+ Foundation

    HTML 29 5 2 1 Updated Apr 15, 2025
  • conf Public
    CSS 0 CC-BY-4.0 1 0 0 Updated Apr 8, 2025
  • Examples Public

    A collection of TLA⁺ specifications of varying complexities.

    TLA 1,345 204 11 (1 issue needs help) 2 Updated Mar 31, 2025
  • tlaplus-standard Public archive

    A collection of various standards, proposed or established, related to TLA+

    TLA 5 MIT 1 1 0 Updated Mar 19, 2025
  • rfcs Public

    RFCs for changes to the TLA+ specification language

    TLA 12 MIT 0 15 0 Updated Mar 19, 2025
  • CommunityModules Public

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

    TLA 282 MIT 39 13 5 Updated Mar 15, 2025
View all repositories

Top languages

Loading…