tla-plus topic

An instructional website with progressively worked examples of TLA+ specifications and model checking.

ElliotSwart

Convert TLA+ output (and values) into JSON

japgolly

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

fizzbee-io

Personal reading list/reference re: TLA+

cmschmtt