PyRank

Tlaplus Python Packages

Python packages with the GitHub topic tlaplus. Sorted by relevance, with stars and monthly downloads.
tlaplus-community
tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

6K 75 17
informalsystems
modelator-py

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

2K 27 3
informalsystems
modelator

Advanced fuzzing via Model Based Testing for Cosmos blockchains

2K 84 9
informalsystems
atomkraft

Testing for Cosmos Blockchains

764 84 9
konnov
apalache-rpc-client

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

582 1 0
konnov
itf-py

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

559 4 0
johnyf
tla

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

216 0 0
gitcordier
markdowntolatex

Markdown to LaTeX

145 0 1
smheidrich
tlaplus-state-graph-utils

Transform GraphViz dot files produced by TLA+

126 0 0
hwayne
tlacli

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

80 83 4
johnyf
tlapy

Python utilities for working with TLA+ specifications

31 1 0