pluscal (pypi): PlusCal AST and builder in Python
Keywords: PlusCal|TLA+