GeezerVison

GeezerVison is showing github.com — TLA+

Pinned Loading

tlaplus tlaplus Public

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

Java 3.2k 280
Examples Examples Public

A collection of TLA⁺ specifications of varying complexities.

TLA 1.6k 227
DrTLAPlus DrTLAPlus Public

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

TLA 860 100
vscode-tlaplus vscode-tlaplus Public

TLA+ language support for Visual Studio Code

TypeScript 441 54
CommunityModules CommunityModules Public

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

TLA 319 48
tlapm tlapm Public

The TLA⁺ Proof Manager

OCaml 139 46

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All CSS HTML Java OCaml Python TeX TLA TypeScript

Sort

Last updated Name Stars

Showing 10 of 27 repositories

model-checker-hardening Public
Hardening TLC and Apalache through systematic, differential, fuzz, and regression testing to improve the reliability of TLA+ model checking

tlaplus/model-checker-hardening's past year of commit activity

Java 7 Apache-2.0 0 61 0 Updated Nov 12, 2026
tlaplus Public
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

tlaplus/tlaplus's past year of commit activity

Java 3,220 MIT 280 211 (31 issues need help) 34 Updated Nov 11, 2026
tlapm Public
The TLA⁺ Proof Manager

tlaplus/tlapm's past year of commit activity

OCaml 139 BSD-2-Clause 46 71 10 Updated Nov 11, 2026
Examples Public
A collection of TLA⁺ specifications of varying complexities.

tlaplus/Examples's past year of commit activity

TLA 1,608 227 5 (1 issue needs help) 4 Updated Nov 9, 2026
CommunityModules Public
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

tlaplus/CommunityModules's past year of commit activity

TLA 319 MIT 48 13 2 Updated Nov 6, 2026
conf Public

tlaplus/conf's past year of commit activity

CSS 0 CC-BY-4.0 1 0 1 Updated Nov 6, 2026
vscode-tlaplus Public
TLA+ language support for Visual Studio Code

tlaplus/vscode-tlaplus's past year of commit activity

TypeScript 441 MIT 54 68 (5 issues need help) 2 Updated Nov 2, 2026
ValidationTestSuite Public
Tool qualification tests and reports for the TLA+ model checker

tlaplus/ValidationTestSuite's past year of commit activity

Python 6 2 6 0 Updated Nov 1, 2026
devkit Public
Documents and code artifacts teaching you how to build your own TLA⁺ tools.

tlaplus/devkit's past year of commit activity

Java 3 MIT 1 0 0 Updated Oct 18, 2026
tla-by-example Public

tlaplus/tla-by-example's past year of commit activity

TypeScript 13 6 5 0 Updated Oct 15, 2026

View all repositories

People

Top languages

TLA Java Python HTML TypeScript

Most used topics

tlaplus pluscal tla model-checking verification