Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "tlaplus" keyword

View the packages on the crates.io package registry that are tagged with the "tlaplus" keyword.

tlauc 1.1.0
Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
14 versions - Latest release: 9 days ago - 13.1 thousand downloads total - 25 stars on GitHub - 1 maintainer
modelator 0.4.2
A framework and tools for model-based testing.
10 versions - Latest release: over 3 years ago - 2 dependent packages - 14 dependent repositories - 35.7 thousand downloads total - 60 stars on GitHub - 2 maintainers
tree-sitter-tlaplus 1.5.0
A tree-sitter grammar for TLA⁺ and PlusCal
33 versions - Latest release: 9 months ago - 1 dependent package - 1 dependent repositories - 44.8 thousand downloads total - 67 stars on GitHub - 1 maintainer
Related Keywords
pluscal 2 tla+ 2 unicode 1 testing 1 model 1 abstraction 1 model-based 1 tla 1 model-based-testing 1 model-checking 1 rust 1 parser 1 tree-sitter 1 grammar 1