Dependencias inversas para tla-parser-s La última versión de las siguientes gemas requieren tla-parser-s

tla-sbuilder 0.3.9

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

16.086 Descargas

sbuilder-al 0.0.8

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

2.426 Descargas