This gist contains code used to run Benchmarks on Sbuilder/TLA-tools
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
TLA+ language formal model for setup 'game1' in blog post https://jarjuk.wordpress.com/2016/12/09/sbuilder-ethereum-example/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
SPECIFICATION Spec | |
CONSTANT defaultInitValue = defaultInitValue | |
\* Add statements after this line. |
This gist contains code for blog post Hierarchical CloudFormation with Lambda
- Gemfile : install aws-must-templates Gem being
This gist contains code for blog post [A Nat Instance on AWS](https://jarjuk.wordpress.com/2015/09/21/nat-instance-on-aws)
* Gemfile : install aws-must-templates Gem being
* Rakefile: loading test runner from aws-must-templates
* suite2.yaml : YAML configuration for CloudFormation stack
* suite2.json : CloudFormation template generated from suite2.yaml
* test-suites.yaml: configuration for test runner configuration in YAML
Cloudformation templates from aws-must-templates
Test report from running test suites in aws-must-templates development
Rspec test reports for aws-must-templates
This gist contains code for blog post Using OpenSSH on AWS Platform
This gist contains code for blog post [EC2 Keypairs](https://jarjuk.wordpress.com/2015/09/23/ec2-keypairs)
- example-stack.json : CloudFormration JSON template to create stack using example EC2 key-pair
- verify-keys.sh: a script to verify Amazon fingerprint with OpenSSH private key fingerprint
NewerOlder