robin-aws

amazon-sqs-java-temporary-queues-client-samples

Example code for the Amazon SQS temporary queues client (https://github.com/awslabs/amazon-sqs-java-temporary-queues-client )

amazon-sqs-java-messaging-lib

This Amazon SQS Java Messaging Library holds the Java Message Service compatible classes, that are used for communicating with Amazon Simple Queue Service.

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.

dafny

Dafny is a verification-aware programming language

.github

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.

asn1.js

ASN.1 Decoder/Encoder/DSL

awesome-smithy

aws-codebuild-run-build

Run a AWS CodeBuild project as a step in a GitHub Actions workflow job.

robin-aws/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.

robin-aws/asn1.js

ASN.1 Decoder/Encoder/DSL

robin-aws/awesome-smithy

robin-aws/aws-crypto-tools-test-vector-framework

Contains rules explaining how to use test vectors for the AWS Encryption SDK

robin-aws/aws-dynamodb-encryption-java

Amazon DynamoDB Encryption Client for Java

robin-aws/aws-dynamodb-encryption-python

Amazon DynamoDB Encryption Client for Python

robin-aws/aws-encryption-sdk-c

AWS Encryption SDK for C

robin-aws/aws-encryption-sdk-cli

CLI wrapper around aws-encryption-sdk-python

robin-aws/aws-encryption-sdk-java

AWS Encryption SDK

robin-aws/aws-encryption-sdk-javascript

AWS Encryption SDK for Javascript and Node.js

robin-aws/aws-encryption-sdk-python

AWS Encryption SDK

robin-aws/aws-encryption-sdk-specification

AWS Encryption SDK Specification

robin-aws/aws-encryption-sdk-test-vectors

Test vectors for the AWS Encryption SDK

robin-aws/aws-sdk-js-crypto-helpers

AWS Cryptographic helpers for Javascript and Node.js

robin-aws/blog

The Dafny blog

robin-aws/boogie

Boogie

robin-aws/codespace-playground

robin-aws/dafny

Dafny is a verification-aware programming language

robin-aws/dafny-reportgenerator

A tool for analyzing and reporting on Dafny, especially the results of verification

robin-aws/dafny-rfcs

Dafny request-for-feature discussions

robin-aws/dafny.msbuild

MSBuild tasks for use in projects containing Dafny source code

robin-aws/git-secrets-test

robin-aws/ide-vscode

VSCode IDE Integration for Dafny

robin-aws/libraries

Libraries useful for Dafny programs

robin-aws/libraries-without-variance

Fork of dafny-lang/libraries without variance declarations on type variables, to work around compilation gaps

robin-aws/linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

robin-aws/setup-dafny-action

Action for installing Dafny

robin-aws/smithy

Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.

robin-aws/smithy-vscode

A Visual Studio Code extension to provide syntax highlighting for the Smithy IDL.

robin-aws/test-reporter

Displays test results from popular testing frameworks directly in GitHub