| 1 | 40,614 | 94,544 | aws-must | aws-must is a tool, which allows separating infrastructure
configuration and Amazon rel... |
| 2 | 49,064 | 58,073 | aws-must-templates | Set of extensible templates for [aws-must](https://github.com/jarjuk/aws-must) tool to ... |
| 3 | 60,010 | 58,073 | tla-sbuilder | A tool to generate runnable specification models in TLA+ language
for business IT sys... |
| 4 | 85,797 | 26,801 | tla-parser-s | A library paring TLA+ language. Gem name `tla-parser-s` because did
not want to reser... |
| 5 | 88,062 | 94,544 | aws-ssh-resolver | Update OpenSSH config file to map EC2 instance name in CloudFormation
to DNS-name on ... |
| 6 | 90,624 | 41,171 | tla-sbuilder-salesforce | Sbuilder Salasforce API loader interfaces with Salesforce Rest API,
extracts object d... |
| 7 | 103,186 | 58,073 | tla2dot | Parse a reachability graph and process it using Mustache templates.
Example
State 2/... |
| 8 | 138,581 | 41,171 | tla-trace-arch | A set of [mustache] templates extending [tla-trace-filter] -tool
to create a self e... |
| 9 | 140,788 | 94,544 | tla-trace-filter | A command line filter utility for processing
[[http://research.microsoft.com/en-us/u... |
| 10 | 164,087 | 41,171 | sbuilder-ethereum | Ethereum Sbuilder loader plugin to load api interfaces and
specification snippets for... |
| 11 | 166,830 | 94,544 | sbuilder-ial | Intermediate API Language (IAL) for to build tla-sbuilder snippets. |
| 12 | 168,220 | 58,073 | sbuilder-al | API language interface to tla-sbuilder. Uses API Loader Extension
Point and Snippet L... |
| 13 | 169,749 | 94,544 | sbuilder-eth | Ethreum Solidity language translator |
xmisao