6 open source projects by tlaplus

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

The TLA Proof Manager

A collection of TLA+ specifications of varying complexities

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

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

TLA+ language support for Visual Studio Code