Tlaplus Python Packages

tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

itf-py

Python library to parse and emit Apalache/Quint traces as JSON ITF

modelator

Advanced fuzzing via Model Based Testing for Cosmos blockchains

atomkraft

Advanced fuzzing via Model Based Testing for Cosmos blockchains

apalache-rpc-client

Minimalistic Python client for interaction with the Apalache model checker over JSON RPC

tla

Parser and syntax tree for TLA+, the temporal logic of actions.

tlacli

A wrapper script for running TLA+ from the command line

markdowntolatex

Markdown to LaTeX

tlaplus-state-graph-utils

Utilities for working with TLA+ state graphs

tlapy

Python utilities for working with TLA+ specifications