Ecosyste.ms: Packages

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

pypi.org "TLA+" keyword

pluscal 0.4.2

PlusCal AST and builder in Python
4 versions - Latest release: about 5 years ago - 1 dependent repositories - 21 downloads last month - 4 stars on GitHub - 1 maintainer

tla 0.0.1

Parser and abstract syntax tree for TLA+, the temporal logic of actions.
2 versions - Latest release: over 3 years ago - 2 dependent repositories - 17 downloads last month - 1 maintainer

Related Keywords

PlusCal 1 TLA 1 temporal logic of actions 1 formal 1 specification 1 expression 1 formula 1 module 1 mathematics 1 theorem 1 proof 1 parser 1 lexer 1 parsing 1 ast 1 abstract syntax tree 1 syntax tree 1 ply 1 lex 1