Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "tlaplus" keyword
modelator-py 0.2.6
Lightweight utilities to assist model writing and model-based testing activities using the TLA+ e...17 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 80 downloads last month - 28 stars on GitHub - 3 maintainers
tlapy 0.0.0
Python tools for working with TLA+ specifications.1 version - Latest release: over 6 years ago - 1 dependent repositories - 7 downloads last month - 0 stars on GitHub - 1 maintainer
markdowntolatex 0.0.1
Markdown to LaTeX1 version - Latest release: over 1 year ago - 9 downloads last month - 0 stars on GitHub - 1 maintainer
tlaplus-jupyter 0.1.1
Jupyter kernel for TLA⁺2 versions - Latest release: over 4 years ago - 1 dependent repositories - 46 downloads last month - 118 stars on GitHub - 1 maintainer
tree-sitter-tlaplus 1.3.6
A tree-sitter grammar for TLA⁺ and PlusCal7 versions - Latest release: 23 days ago - 791 downloads last month - 53 stars on GitHub - 1 maintainer
atomkraft 0.1.2
Testing for Cosmos Blockchains14 versions - Latest release: over 1 year ago - 2 dependent repositories - 162 downloads last month - 77 stars on GitHub - 3 maintainers
modelator 0.6.6
Framework for Model Based Testing11 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 118 downloads last month - 77 stars on GitHub - 3 maintainers
tlacli 0.0.1
A wrapper script for running TLA+ from the command line1 version - Latest release: over 4 years ago - 1 dependent repositories - 20 downloads last month - 77 stars on GitHub - 1 maintainer
Related Keywords
tla
4
tlc
3
apalache
2
pluscal
2
model-checking
2
testing
2
utilities
2
formal-methods
2
blockchain
2
cosmos
2
parsing
1
incremental
1
jupyter-kernel
1
jupyter
1
xelatex
1
tlaps
1
tla-specification
1
tree-sitter
1
grammar
1
parser
1
testnet
1
model based testing
1
formal method
1
model checker
1
utility
1
cli
1
command-line
1
command-line-tool
1
modeling
1
specification
1
LaTeX
1
Markdown
1
Markdown to LaTeX
1
command-line-app
1
command-line-interface
1
latex
1
latex-document
1
markdown
1
markdown-parser
1
markdown-to-latex
1
markdown-to-pdf
1
tla-plus
1