Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

tlaplus

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
@tlaplus

TLA+

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

PinnedLoading

  1. tlaplustlaplusPublic

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

    Java 2.4k 209

  2. ExamplesExamplesPublic

    A collection of TLA⁺ specifications of varying complexities.

    TLA 1.3k 205

  3. DrTLAPlusDrTLAPlusPublic

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

    TLA 829 98

  4. vscode-tlaplusvscode-tlaplusPublic

    TLA+ language support for Visual Studio Code

    TypeScript 369 38

  5. CommunityModulesCommunityModulesPublic

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

    TLA 281 39

  6. tlapmtlapmPublic

    The TLA⁺ Proof Manager

    OCaml 73 24

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 20 repositories
  • conf Public
    tlaplus/conf’s past year of commit activity
    CSS0CC-BY-4.0 1 0 0 UpdatedMar 25, 2025
  • vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    tlaplus/vscode-tlaplus’s past year of commit activity
    TypeScript 369MIT 38 59(1 issue needs help) 4 UpdatedMar 25, 2025
  • Examples Public

    A collection of TLA⁺ specifications of varying complexities.

    tlaplus/Examples’s past year of commit activity
  • 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,399MIT 209 262(42 issues need help) 21 UpdatedMar 20, 2025
  • tlapm Public

    The TLA⁺ Proof Manager

    tlaplus/tlapm’s past year of commit activity
    OCaml 73BSD-2-Clause 24 56 5 UpdatedMar 19, 2025
  • foundation Public

    TLA+ Foundation

    tlaplus/foundation’s past year of commit activity
    HTML 31 5 2 1 UpdatedMar 19, 2025
  • tlaplus-standard Public archive

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

    tlaplus/tlaplus-standard’s past year of commit activity
    TLA 5MIT 1 1 0 UpdatedMar 19, 2025
  • rfcs Public

    RFCs for changes to the TLA+ specification language

    tlaplus/rfcs’s past year of commit activity
    TLA 13MIT0 15 0 UpdatedMar 19, 2025
  • CommunityModules Public

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

    tlaplus/CommunityModules’s past year of commit activity
    TLA 281MIT 39 13 5 UpdatedMar 15, 2025
  • azure-cosmos-tla Public Forked fromAzure/azure-cosmos-tla

    Azure Cosmos TLA+ specifications

    tlaplus/azure-cosmos-tla’s past year of commit activity
    TLA 22MIT 45 4 0 UpdatedJan 21, 2025

Top languages

Loading…

[8]ページ先頭
©2009-2025 Movatter.jp