Jarjuk's Gems

icon
#Total RankDaily RankNameSummary
138,85663,432aws-mustaws-must is a tool, which allows separating infrastructure configuration and Amazon rel...
247,40363,432aws-must-templatesSet of extensible templates for [aws-must](https://github.com/jarjuk/aws-must) tool to ...
359,86763,432tla-sbuilderA tool to generate runnable specification models in TLA+ language for business IT sys...
485,21063,432tla-parser-sA library paring TLA+ language. Gem name `tla-parser-s` because did not want to reser...
589,01663,432aws-ssh-resolverUpdate OpenSSH config file to map EC2 instance name in CloudFormation to DNS-name on ...
691,44041,916tla-sbuilder-salesforceSbuilder Salasforce API loader interfaces with Salesforce Rest API, extracts object d...
7102,54963,432tla2dotParse a reachability graph and process it using Mustache templates. Example State 2/...
8138,89963,432tla-trace-archA set of [mustache] templates extending [tla-trace-filter] -tool to create a self e...
9140,19863,432tla-trace-filterA command line filter utility for processing [[http://research.microsoft.com/en-us/u...
10162,71030,305sbuilder-ethereumEthereum Sbuilder loader plugin to load api interfaces and specification snippets for...
11164,32641,916sbuilder-ialIntermediate API Language (IAL) for to build tla-sbuilder snippets.
12166,04441,916sbuilder-alAPI language interface to tla-sbuilder. Uses API Loader Extension Point and Snippet L...
13166,88630,305sbuilder-ethEthreum Solidity language translator