Ecosyste.ms: Packages

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

crates.io "tlaplus" keyword

modelator 0.4.2

A framework and tools for model-based testing.
10 versions - Latest release: over 2 years ago - 2 dependent packages - 14 dependent repositories - 27.7 thousand downloads total - 51 stars on GitHub - 2 maintainers

tlauc 1.0.2

Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
10 versions - Latest release: 11 days ago - 2.74 thousand downloads total - 25 stars on GitHub - 1 maintainer

tree-sitter-tlaplus 1.3.6

A tree-sitter grammar for TLA⁺ and PlusCal
31 versions - Latest release: 11 days ago - 1 dependent package - 1 dependent repositories - 9.44 thousand downloads total - 53 stars on GitHub - 1 maintainer

Related Keywords

tla+ 2 pluscal 2 testing 1 model-based 1 tla 1 model 1 abstraction 1 model-based-testing 1 model-checking 1 rust 1 unicode 1 parser 1 tree-sitter 1 grammar 1