Popular repositories Loading

1. dafny dafny Public

   Forked from dafny-lang/dafny

   Dafny is a verification-aware programming language

   C#

2. aws-encryption-sdk-specification aws-encryption-sdk-specification Public

   Forked from awslabs/aws-encryption-sdk-specification

   AWS Encryption SDK Specification

3. aws-encryption-sdk-java aws-encryption-sdk-java Public

   Forked from aws/aws-encryption-sdk-java

   AWS Encryption SDK

   Java

4. aws-dynamodb-encryption-java aws-dynamodb-encryption-java Public

   Forked from aws/aws-dynamodb-encryption-java

   Amazon DynamoDB Encryption Client for Java

   Java

5. aws-codebuild-run-build aws-codebuild-run-build Public

   Forked from aws-actions/aws-codebuild-run-build

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

   JavaScript

6. busy-engineers-document-bucket busy-engineers-document-bucket Public

   Forked from aws-samples/busy-engineers-document-bucket

   A workshop to introduce client-side encryption with the AWS Encryption SDK and AWS KMS.

   Java