Popular repositories Loading

1. Caltech-CS-122 Caltech-CS-122 Public

   PLSQL 3 1

2. aws-encryption-sdk-docs aws-encryption-sdk-docs Public

   Forked from awsdocs/aws-encryption-sdk-docs

   Explains 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…

3. dafny dafny Public

   Forked from dafny-lang/dafny

   Dafny is a verification-aware programming language

   C#

4. dafny.msbuild dafny.msbuild Public

   Forked from dafny-lang/dafny.msbuild

   MSBuild tasks for use in projects containing Dafny source code

   C#

5. aws-encryption-sdk-specification aws-encryption-sdk-specification Public

   Forked from awslabs/aws-encryption-sdk-specification

   AWS Encryption SDK Specification

   Shell

6. aws-encryption-sdk-java aws-encryption-sdk-java Public

   Forked from aws/aws-encryption-sdk-java

   AWS Encryption SDK

   Java