Reverse dependencies for tla-parser-s Latest version of the following gems require tla-parser-s

tla-sbuilder 0.3.9

A tool to generate runnable specification models in TLA+ language for business IT sys...

15,275 Downloads

sbuilder-al 0.0.8

API language interface to tla-sbuilder. Uses API Loader Extension Point and Snippet L...

2,279 Downloads