PyRank

Tlaplus Python Packages

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

A tree-sitter grammar for TLA⁺ and PlusCal

5K 79 18
informalsystems
modelator-py

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

691 27 3
informalsystems
modelator

Advanced fuzzing via Model Based Testing for Cosmos blockchains

581 85 9
konnov
itf-py

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

491 4 0
informalsystems
atomkraft

Advanced fuzzing via Model Based Testing for Cosmos blockchains

439 85 9
konnov
apalache-rpc-client

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

300 1 0
johnyf
tla

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

108 0 0
gitcordier
markdowntolatex

Markdown to LaTeX

73 1 1
smheidrich
tlaplus-state-graph-utils

Transform GraphViz dot files produced by TLA+

45 0 0
hwayne
tlacli

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

45 83 4
johnyf
tlapy

Python utilities for working with TLA+ specifications

24 1 0