-
aws-dynamodb-encryption-java Public
Forked from aws/aws-dynamodb-encryption-javaAmazon DynamoDB Encryption Client for Java
Java Apache License 2.0 UpdatedNov 11, 2020 -
aws-encryption-sdk-java Public
Forked from aws/aws-encryption-sdk-javaAWS Encryption SDK
Java Apache License 2.0 UpdatedOct 7, 2020 -
aws-encryption-sdk-specification Public
Forked from awslabs/aws-encryption-sdk-specificationAWS Encryption SDK Specification
Shell Other UpdatedJul 27, 2020 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedMay 1, 2020 -
dafny.msbuild Public
Forked from dafny-lang/dafny.msbuildMSBuild tasks for use in projects containing Dafny source code
C# MIT License UpdatedApr 6, 2020 -
aws-encryption-sdk-docs Public
Forked from awsdocs/aws-encryption-sdk-docsExplains how to use the AWS Encryption SDK, a library that enables secure client-side encryption. The Encryption SDK uses cryptography best practices to protect your data and the encryption keys us…
Other UpdatedDec 5, 2019 -
{{ message }}