PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
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+.

1K 27 3
informalsystems
modelator

Advanced fuzzing via Model Based Testing for Cosmos blockchains

1K 84 9
konnov
apalache-rpc-client

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

865 1 0
informalsystems
atomkraft

Advanced fuzzing via Model Based Testing for Cosmos blockchains

602 84 9
konnov
itf-py

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

548 4 0
johnyf
tla

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

178 0 0
gitcordier
markdowntolatex

Markdown to LaTeX

119 0 1
hwayne
tlacli

A wrapper script for running TLA+ from the command line

69 82 4
smheidrich
tlaplus-state-graph-utils

Utilities for working with TLA+ state graphs

59 0 0
johnyf
tlapy

Python tools for working with TLA+ specifications.

33 1 0