pluscal topic

TLA+ language support for Visual Studio Code

tlaplus

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

DistCompiler

A collection of TLA⁺ specifications of varying complexities

tlaplus

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

tlaplus

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

tlaplus

TLA+ tools for Emacs

mrc

How to use TLA+ / TLA+ specification of the ClickHouse replication protocol

VadimPlh

A tree-sitter grammar for TLA⁺ and PlusCal

tlaplus-community

TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.acm...

cwi-swat

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

fizzbee-io