-
libraries Public
Forked from dafny-lang/librariesLibraries useful for Dafny programs
Dafny Other UpdatedAug 20, 2024 -
aws-cryptographic-material-providers-library-java Public
Forked from aws/aws-cryptographic-material-providers-library-javaAWS Cryptographic Material Providers Library for Java
C# Apache License 2.0 UpdatedOct 10, 2023 -
aws-sdk-js-crypto-helpers-1 Public
Forked from aws/aws-sdk-js-crypto-helpersAWS Cryptographic helpers for Javascript and Node.js
TypeScript Apache License 2.0 UpdatedSep 19, 2023 -
aws-dynamodb-encryption-java Public
Forked from aws/aws-dynamodb-encryption-javaAmazon DynamoDB Encryption Client for Java
Java Apache License 2.0 UpdatedSep 19, 2023 -
aws-encryption-sdk-python Public
Forked from aws/aws-encryption-sdk-pythonAWS Encryption SDK
Python Apache License 2.0 UpdatedSep 15, 2023 -
aws-encryption-sdk-c Public
Forked from aws/aws-encryption-sdk-cAWS Encryption SDK for C
C Apache License 2.0 UpdatedApr 5, 2023 -
aws-encryption-sdk-javascript Public
Forked from aws/aws-encryption-sdk-javascriptAWS Encryption SDK for Javascript and Node.js
-
-
ide-vscode Public
Forked from dafny-lang/ide-vscodeVSCode IDE Integration for Dafny
TypeScript MIT License UpdatedOct 24, 2022 -
configure-aws-credentials Public
Forked from aws-actions/configure-aws-credentialsConfigure AWS credential environment variables for use in other GitHub Actions.
JavaScript MIT License UpdatedOct 6, 2022 -
setup-dafny-action Public
Forked from dafny-lang/setup-dafny-actionAction for installing Dafny
Shell MIT License UpdatedOct 3, 2022 -
aws-encryption-sdk-dafny Public
Forked from aws/aws-encryption-sdk-dafnyAWS Encryption SDK for Dafny
C# Apache License 2.0 UpdatedJun 21, 2022 -
aws-crypto-tools-test-vector-framework Public
Forked from awslabs/aws-crypto-tools-test-vector-frameworkContains rules explaining how to use test vectors for the AWS Encryption SDK
Python Apache License 2.0 UpdatedMar 22, 2022 -
-
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedNov 27, 2021 -
aws-encryption-sdk-cli Public
Forked from aws/aws-encryption-sdk-cliCLI wrapper around aws-encryption-sdk-python
Python Apache License 2.0 UpdatedNov 12, 2021 -
aws-encryption-sdk-java Public
Forked from aws/aws-encryption-sdk-javaAWS Encryption SDK
Java Apache License 2.0 UpdatedAug 17, 2021 -
aws-codebuild-run-build Public
Forked from aws-actions/aws-codebuild-run-buildRun a AWS CodeBuild project as a step in a GitHub Actions workflow job.
-
aws-encryption-sdk-specification Public
Forked from awslabs/aws-encryption-sdk-specificationAWS Encryption SDK Specification
Shell Other UpdatedJun 18, 2021 -
MSR-JavaScript-Crypto Public
Forked from microsoft/MSR-JavaScript-CryptoMicrosoft JavaScript Cryptography Library
JavaScript Other UpdatedApr 22, 2021 -
-
aws-dynamodb-encryption-python Public
Forked from aws/aws-dynamodb-encryption-pythonAmazon DynamoDB Encryption Client for Python
Python Apache License 2.0 UpdatedDec 30, 2020 -
busy-engineers-document-bucket Public
Forked from aws-samples/busy-engineers-document-bucketTypeScript Apache License 2.0 UpdatedJun 9, 2020 -
karma Public
Forked from karma-runner/karmaSpectacular Test Runner for JavaScript
JavaScript MIT License UpdatedOct 21, 2019 -
aws-sdk-js-v3 Public
Forked from aws/aws-sdk-js-v3Modularized AWS SDK for JavaScript.
TypeScript Apache License 2.0 UpdatedOct 17, 2019 -
selenium-please Public
Launch a Selenium process with the appropriate drivers
-
-
cryptography Public
Forked from pyca/cryptographycryptography is a package designed to expose cryptographic primitives and recipes to Python developers.
Python Other UpdatedSep 20, 2017 -
An ini parser/serializer in JavaScript
JavaScript ISC License UpdatedSep 23, 2015 -
recurly-js Public
Forked from recurly/recurly-jsSimple subscription billing in the browser
JavaScript MIT License UpdatedMar 30, 2015