Top 10 tlaplus open source projects

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

Specifying and Verifying CRDT Protocols using TLA+

A tree-sitter grammar for TLA+

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

Convert TLA+ output (and values) into JSON

A script for running TLA+/TLC from the command line

Different TLA+ specifications, mostly for learning purposes

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

A static web application to explore and animate a TLA+ state graph.

TLA+ tools for Emacs