Explore @tlaplus Open Source projects

TLA+ (@tlaplus)

tlaplus

Stars
5,424
Global Org. Rank 4,253 (Top 2 %)
Registered about 12 years ago
Most used languages

TLA 30.8 %

HTML
23.1 %

Python
15.4 %

TypeScript
7.7 %

OCaml
7.7 %

TeX
7.7 %

Java
7.7 %

tlaplus

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

Examples

A collection of TLA⁺ specifications of varying complexities

DrTLAPlus

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

vscode-tlaplus

TLA+ language support for Visual Studio Code

CommunityModules

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

PlusPy

Python interpreter for TLA+ specifications

tlapm

The TLA Proof Manager

foundation

TLA+ Foundation

PlusCalCheatSheet

PlusCal Cheat Sheet by Stephan Merz

rfcs

RFCs for changes to the TLA+ specification language

lecture

The TLA+ Video Course by Leslie Lamport

patterns

tlaplus-standard

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

tla_python

A parser for TLA+, the Temporal Logic of Actions

Survey

Results TLA+ Surveys

www

http://www.tlapl.us