A collection of TLA⁺ specifications of varying complexities
Dr. TLA+ series - learn an algorithm and protocol, study a specification
TLA+ language support for Visual Studio Code
PGo is a source to source compiler from Modular PlusCal specs into Go pr...
Easiest-ever formal methods language! Designed for developers crafting d...
A tree-sitter grammar for TLA⁺ and PlusCal