Robin Salkeld's repositories
amazon-sqs-java-temporary-queues-client
An Amazon SQS client that supports creating lightweight, automatically-deleted temporary queues, for use in common messaging patterns such as Request/Response. See http://aws.amazon.com/sqs.
aws-crypto-tools-test-vector-framework
Contains rules explaining how to use test vectors for the AWS Encryption SDK
aws-dynamodb-encryption-java
Amazon DynamoDB Encryption Client for Java
aws-cryptographic-material-providers-library
AWS Cryptographic Material Providers Library
aws-dynamodb-encryption-python
Amazon DynamoDB Encryption Client for Python
aws-encryption-sdk-c
AWS Encryption SDK for C
aws-encryption-sdk-cli
CLI wrapper around aws-encryption-sdk-python
aws-encryption-sdk-java
AWS Encryption SDK
aws-encryption-sdk-javascript
AWS Encryption SDK for Javascript and Node.js
aws-encryption-sdk-python
AWS Encryption SDK
aws-encryption-sdk-specification
AWS Encryption SDK Specification
aws-encryption-sdk-test-vectors
Test vectors for the AWS Encryption SDK
aws-sdk-js-crypto-helpers
AWS Cryptographic helpers for Javascript and Node.js
blog
The Dafny blog
dafny-reportgenerator
A tool for analyzing and reporting on Dafny, especially the results of verification
dafny-rfcs
Dafny request-for-feature discussions
dafny.msbuild
MSBuild tasks for use in projects containing Dafny source code
ide-vscode
VSCode IDE Integration for Dafny
libraries-without-variance
Fork of dafny-lang/libraries without variance declarations on type variables, to work around compilation gaps
setup-dafny-action
Action for installing Dafny
smithy-vscode
A Visual Studio Code extension to provide syntax highlighting for the Smithy IDL.
test-reporter
Displays test results from popular testing frameworks directly in GitHub