https://github.com/aws/aws-cryptographic-material-providers-library
Score: 23.355627484716372
Last synced: about 10 hours ago
JSON representation
Repository metadata:
AWS Cryptographic Material Providers Library
- Host: GitHub
- URL: https://github.com/aws/aws-cryptographic-material-providers-library
- Owner: aws
- License: apache-2.0
- Created: 2023-07-13T19:18:12.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2026-08-21T17:16:21.000Z (3 days ago)
- Last Synced: 2026-08-23T08:32:10.651Z (1 day ago)
- Language: Rust
- Homepage:
- Size: 84.7 MB
- Stars: 17
- Watchers: 5
- Forks: 24
- Open Issues: 57
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG-java.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
- Codeowners: .github/CODEOWNERS
- Support: SUPPORT_POLICY.rst
- Notice: NOTICE
Owner metadata:
- Name: Amazon Web Services
- Login: aws
- Email: open-source-github@amazon.com
- Kind: organization
- Description:
- Website: https://amazon.com/aws
- Location: United States of America
- Twitter:
- Company:
- Icon url: https://avatars.githubusercontent.com/u/2232217?v=4
- Repositories: 553
- Last Synced at: 2026-08-21T23:27:01.076Z
- Profile URL: https://github.com/aws
GitHub Events
Total
- Commit comment event: 1
- Create event: 886
- Delete event: 780
- Fork event: 8
- Issue comment event: 1160
- Issues event: 20
- Pull request event: 1511
- Pull request review comment event: 865
- Pull request review event: 1177
- Push event: 2776
- Release event: 11
- Watch event: 7
- Total: 9202
Last Year
- Create event: 92
- Delete event: 103
- Issue comment event: 109
- Issues event: 8
- Pull request event: 125
- Pull request review comment event: 10
- Pull request review event: 40
- Push event: 273
- Release event: 1
- Watch event: 2
- Total: 763
Committers metadata
Last synced: 6 days ago
Total Commits: 802
Total Committers: 29
Avg Commits per committer: 27.655
Development Distribution Score (DDS): 0.803
Commits in past year: 83
Committers in past year: 12
Avg Commits per committer in past year: 6.917
Development Distribution Score (DDS) in past year: 0.771
| Name | Commits | |
|---|---|---|
| José Corella | 3****a | 158 |
| Andrew Jewell | 1****z | 140 |
| Tony Knapp | 5****y | 80 |
| seebees | r****r@a****m | 64 |
| Rishav karanjit | k****4@g****m | 54 |
| Lucas McDonald | l****3@g****m | 49 |
| lavaleri | 4****i | 46 |
| Shubham Chaturvedi | a****r@g****m | 41 |
| Shubham Chaturvedi | s****r@a****m | 39 |
| Robin Salkeld | s****r@a****m | 26 |
| Ben Farley | 4****n | 18 |
| Darwin Chowdary | 3****w | 16 |
| Ritvik Kapila | 6****a | 13 |
| Leino, Rustan | l****o@a****m | 12 |
| dependabot[bot] | 4****] | 9 |
| Alex Chew | a****w | 5 |
| github-actions[bot] | 4****] | 5 |
| MatthewBennington | m****j@a****m | 5 |
| Aaron Tomb | a****b@a****m | 4 |
| Matthias Schlaipfer | s****f@a****m | 4 |
| sharmabikram | s****1@g****m | 3 |
| Sean Swezey | s****y@a****m | 2 |
| Kess Plasmeier | 7****s | 2 |
| gancher | g****r@a****m | 2 |
| Alex Cioc | 4****c | 1 |
| Amazon GitHub Automation | 5****o | 1 |
| Fabio Madge | f****o@m****e | 1 |
| J Plasmeier | j****z@a****m | 1 |
| Shreyes Sridhara | s****a@b****u | 1 |
Issue and Pull Request metadata
Last synced: 1 day ago
Total issues: 35
Total pull requests: 2,436
Average time to close issues: 30 days
Average time to close pull requests: 13 days
Total issue authors: 23
Total pull request authors: 24
Average comments per issue: 1.74
Average comments per pull request: 1.68
Merged pull request: 752
Bot issues: 7
Bot pull requests: 1,196
Past year issues: 8
Past year pull requests: 129
Past year average time to close issues: 8 days
Past year average time to close pull requests: 14 days
Past year issue authors: 8
Past year pull request authors: 13
Past year average comments per issue: 1.13
Past year average comments per pull request: 0.81
Past year merged pull request: 22
Past year bot issues: 0
Past year bot pull requests: 82
Top Issue Authors
- dependabot[bot] (7)
- seebees (3)
- texastony (3)
- Indigo-Tech (2)
- josecorella (2)
- akuzminsky (1)
- al2m4n (1)
- brearleyt (1)
- j-dubb-dev (1)
- benkehoe (1)
- dsshep (1)
- kboisits (1)
- RitvikKapila (1)
- marcz88 (1)
- galh8 (1)
Top Pull Request Authors
- dependabot[bot] (1,174)
- texastony (293)
- rishav-karanjit (204)
- ajewellamz (145)
- josecorella (141)
- lucasmcdonald3 (138)
- imabhichow (107)
- ShubhamChaturvedi7 (62)
- seebees (43)
- RitvikKapila (41)
- github-actions[bot] (22)
- robin-aws (20)
- ShreyesS (17)
- atomb (5)
- sharmabikram (5)
Top Issue Labels
- dependencies (7)
- .NET (4)
- java (2)
- github_actions (1)
- closed-for-staleness (1)
- pending release (1)
Top Pull Request Labels
- dependencies (1,174)
- .NET (696)
- java (422)
- github_actions (41)
- golang (35)
- closed-for-staleness (18)
- rust (8)
- python (6)
- no-pr-activity (4)
Package metadata
- Total packages: 14
-
Total downloads:
- nuget: 5,902,209 total
- pypi: 578,010 last-month
- Total dependent packages: 9 (may contain duplicates)
- Total dependent repositories: 0 (may contain duplicates)
- Total versions: 158
- Total maintainers: 2
proxy.golang.org: github.com/aws/aws-cryptographic-material-providers-library/internal/smithy-dafny-standard-library
- Homepage: https://github.com/aws/aws-cryptographic-material-providers-library
- Documentation: https://pkg.go.dev/github.com/aws/aws-cryptographic-material-providers-library/internal/smithy-dafny-standard-library#section-documentation
- Licenses: apache-2.0
- Latest release: (published 1 day ago)
- Last Synced: 2026-08-23T12:10:35.872Z (1 day ago)
- Versions: 0
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Dependent packages count: 5.817%
- Average: 6.012%
- Dependent repos count: 6.208%
proxy.golang.org: github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl
- Homepage: https://github.com/aws/aws-cryptographic-material-providers-library
- Documentation: https://pkg.go.dev/github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl#section-documentation
- Licenses: apache-2.0
- Latest release: v0.4.0 (published 4 months ago)
- Last Synced: 2026-08-22T12:38:30.365Z (2 days ago)
- Versions: 7
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Dependent packages count: 5.829%
- Average: 6.024%
- Dependent repos count: 6.22%
proxy.golang.org: github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library
- Homepage: https://github.com/aws/aws-cryptographic-material-providers-library
- Documentation: https://pkg.go.dev/github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library#section-documentation
- Licenses: apache-2.0
- Latest release: v0.4.0 (published 4 months ago)
- Last Synced: 2026-08-23T12:18:54.246Z (1 day ago)
- Versions: 7
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Dependent packages count: 5.848%
- Average: 6.044%
- Dependent repos count: 6.241%
proxy.golang.org: github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms
- Homepage: https://github.com/aws/aws-cryptographic-material-providers-library
- Documentation: https://pkg.go.dev/github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms#section-documentation
- Licenses: apache-2.0
- Latest release: v0.4.0 (published 4 months ago)
- Last Synced: 2026-08-23T12:13:57.476Z (1 day ago)
- Versions: 7
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Dependent packages count: 5.848%
- Average: 6.044%
- Dependent repos count: 6.241%
proxy.golang.org: github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb
- Homepage: https://github.com/aws/aws-cryptographic-material-providers-library
- Documentation: https://pkg.go.dev/github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb#section-documentation
- Licenses: apache-2.0
- Latest release: v0.4.0 (published 4 months ago)
- Last Synced: 2026-08-23T12:06:04.400Z (1 day ago)
- Versions: 8
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Dependent packages count: 5.848%
- Average: 6.044%
- Dependent repos count: 6.241%
proxy.golang.org: github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives
- Homepage: https://github.com/aws/aws-cryptographic-material-providers-library
- Documentation: https://pkg.go.dev/github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives#section-documentation
- Licenses: apache-2.0
- Latest release: v0.4.0 (published 4 months ago)
- Last Synced: 2026-08-23T12:19:13.709Z (1 day ago)
- Versions: 7
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Dependent packages count: 5.848%
- Average: 6.044%
- Dependent repos count: 6.241%
proxy.golang.org: github.com/aws/aws-cryptographic-material-providers-library
- Homepage:
- Documentation: https://pkg.go.dev/github.com/aws/aws-cryptographic-material-providers-library#section-documentation
- Licenses: apache-2.0
- Latest release: v1.11.2 (published 7 months ago)
- Last Synced: 2026-08-23T12:06:01.943Z (1 day ago)
- Versions: 34
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Dependent packages count: 6.161%
- Average: 6.367%
- Dependent repos count: 6.573%
nuget.org: aws.cryptography.internal.standardlibrary
The StandarLibrary is a library written to supply helpful Dafny functionality.
- Homepage:
- Licenses: Apache-2.0
- Latest release: 2.0.0 (published 5 months ago)
- Last Synced: 2026-08-23T12:06:06.945Z (1 day ago)
- Versions: 14
- Dependent Packages: 4
- Dependent Repositories: 0
- Downloads: 1,180,667 Total
-
Rankings:
- Downloads: 10.599%
- Dependent repos count: 13.819%
- Average: 14.418%
- Dependent packages count: 18.835%
- Maintainers (1)
nuget.org: aws.cryptography.internal.comamazonawskms
ComAmazonawsKms is a library written to convert between Dafny generated code and native .NET code that interacts with AWS KMS.
- Homepage:
- Licenses: Apache-2.0
- Latest release: 2.0.0 (published 5 months ago)
- Last Synced: 2026-08-23T12:06:02.382Z (1 day ago)
- Versions: 12
- Dependent Packages: 1
- Dependent Repositories: 0
- Downloads: 1,170,048 Total
-
Rankings:
- Downloads: 11.706%
- Dependent repos count: 13.819%
- Average: 14.787%
- Dependent packages count: 18.835%
- Maintainers (1)
nuget.org: aws.cryptography.internal.awscryptographyprimitives
AwsCryptographyPrimitives is a library written to invoke lower level cryptographic primitives and to convert between Dafny generated code and native .NET code.
- Homepage:
- Licenses: Apache-2.0
- Latest release: 2.0.0 (published 5 months ago)
- Last Synced: 2026-08-23T12:06:10.624Z (1 day ago)
- Versions: 12
- Dependent Packages: 1
- Dependent Repositories: 0
- Downloads: 1,170,609 Total
-
Rankings:
- Downloads: 11.709%
- Dependent repos count: 13.819%
- Average: 14.788%
- Dependent packages count: 18.835%
- Maintainers (1)
nuget.org: aws.cryptography.internal.comamazonawsdynamodb
ComAmazonawsDynamodb is a library written to convert between Dafny generated code and native .NET code that interacts with AWS DynamoDBv2.
- Homepage:
- Licenses: Apache-2.0
- Latest release: 2.0.0 (published 5 months ago)
- Last Synced: 2026-08-23T12:06:02.192Z (1 day ago)
- Versions: 12
- Dependent Packages: 1
- Dependent Repositories: 0
- Downloads: 1,169,804 Total
-
Rankings:
- Downloads: 11.71%
- Dependent repos count: 13.819%
- Average: 14.788%
- Dependent packages count: 18.835%
- Maintainers (1)
nuget.org: aws.cryptography.materialproviders
The AWS Cryptographic Material Providers Library abstracts lower level cryptographic materials management of encryption and decryption materials. It uses cryptographic best practices to protect the data keys that protect your data.
- Homepage:
- Licenses: Apache-2.0
- Latest release: 2.0.0 (published 5 months ago)
- Last Synced: 2026-08-23T12:05:46.205Z (1 day ago)
- Versions: 12
- Dependent Packages: 2
- Dependent Repositories: 0
- Downloads: 1,211,081 Total
-
Rankings:
- Downloads: 12.605%
- Dependent repos count: 13.819%
- Average: 15.087%
- Dependent packages count: 18.835%
- Maintainers (1)
pypi.org: aws-cryptographic-material-providers
AWS Cryptographic Material Providers Library for Python
- Homepage:
- Documentation: https://aws-cryptographic-material-providers.readthedocs.io/
- Licenses: apache-2.0
- Latest release: 10.0.0 (published almost 2 years ago)
- Last Synced: 2026-08-23T12:06:38.913Z (1 day ago)
- Versions: 8
- Dependent Packages: 0
- Dependent Repositories: 0
- Downloads: 578,010 Last month
-
Rankings:
- Dependent packages count: 10.24%
- Average: 33.938%
- Dependent repos count: 57.635%
- Maintainers (1)
repo1.maven.org: software.amazon.cryptography:aws-cryptographic-material-providers
The AWS Cryptographic Material Providers Library for Java
- Homepage: https://github.com/aws/aws-cryptographic-material-providers-library
- Documentation: https://appdoc.app/artifact/software.amazon.cryptography/aws-cryptographic-material-providers/
- Licenses: Apache License 2.0
- Latest release: 1.11.1 (published 4 months ago)
- Last Synced: 2026-08-23T12:05:51.084Z (1 day ago)
- Versions: 18
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Dependent repos count: 35.098%
- Forks count: 36.489%
- Average: 42.545%
- Stargazers count: 48.412%
- Dependent packages count: 50.181%
Dependencies
.github/workflows/check_only_keyword.yml
actions
- actions/checkout v6 composite
.github/workflows/library_format.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/polymorph_codegen * composite
- ./.github/actions/setup_dafny * composite
- actions/checkout v6 composite
.github/workflows/library_go_build.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/polymorph_codegen * composite
- ./.github/actions/setup_dafny * composite
- actions/checkout v6 composite
- actions/setup-go v6 composite
- actions/upload-artifact v7 composite
- aws-actions/configure-aws-credentials v6 composite
.github/workflows/rust-start-release.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/setup_dafny * composite
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v6 composite
- actions/setup-go v6 composite
- actions/setup-java v5 composite
- aws-actions/aws-secretsmanager-get-secrets v2 composite
- aws-actions/configure-aws-credentials v6 composite
StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.sum
go
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
releases/go/smithy-dafny-standard-library/go.sum
go
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts
maven
- org.bouncycastle:bcprov-jdk18on 1.83 implementation
- org.dafny:DafnyRuntime ${dafnyVersion} implementation
- software.amazon.awssdk:dynamodb * implementation
- software.amazon.awssdk:kms * implementation
- software.amazon.cryptography:AwsCryptographyPrimitives 1.0-SNAPSHOT implementation
- software.amazon.cryptography:ComAmazonawsDynamodb 1.0-SNAPSHOT implementation
- software.amazon.cryptography:ComAmazonawsKms 1.0-SNAPSHOT implementation
- software.amazon.cryptography:StandardLibrary 1.0-SNAPSHOT implementation
- software.amazon.smithy.dafny:conversion 0.1.1 implementation
- org.testng:testng 7.5 testImplementation
AwsCryptographyPrimitives/runtimes/net/tests/Test-Crypto.csproj
nuget
- System.Collections.Immutable 1.7.0
- System.ValueTuple 4.6.1
.github/workflows/slack-notification.yml
actions
- slackapi/slack-github-action v3.0.3 composite
AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.sum
go
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.sum
go
- github.com/aws/aws-sdk-go-v2 v1.32.8
- github.com/aws/aws-sdk-go-v2/config v1.28.10
- github.com/aws/aws-sdk-go-v2/credentials v1.17.51
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.27
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.27
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.12.1
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.10.8
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.12.8
- github.com/aws/aws-sdk-go-v2/service/sso v1.24.9
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.8
- github.com/aws/aws-sdk-go-v2/service/sts v1.33.6
- github.com/aws/smithy-go v1.22.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/davecgh/go-spew v1.1.0
- github.com/jmespath/go-jmespath v0.4.0
- github.com/jmespath/go-jmespath/internal/testify v1.5.1
- github.com/pmezard/go-difflib v1.0.0
- github.com/stretchr/objx v0.1.0
- gopkg.in/check.v1 v0.0.0-20161208181325-20d25e280405
- gopkg.in/yaml.v2 v2.2.8
ComAmazonawsDynamodb/runtimes/net/tests/TestComAmazonawsDynamodb.csproj
nuget
- System.Collections.Immutable 1.7.0
- System.ValueTuple 4.6.1
ComAmazonawsKms/runtimes/net/tests/Test-AWS-KMS.csproj
nuget
- System.Collections.Immutable 1.7.0
- System.ValueTuple 4.6.1
.github/workflows/daily_ci.yml
actions
.github/workflows/library_java_build.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/polymorph_codegen * composite
- ./.github/actions/setup_dafny * composite
- actions/checkout v6 composite
- actions/setup-java v5 composite
- actions/upload-artifact v7 composite
- aws-actions/configure-aws-credentials v6 composite
.github/workflows/library_net_build.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/polymorph_codegen * composite
- ./.github/actions/setup_dafny * composite
- actions/checkout v6 composite
- actions/setup-dotnet v5 composite
- actions/upload-artifact v7 composite
- aws-actions/configure-aws-credentials v6 composite
.github/workflows/library_python_build.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/polymorph_codegen * composite
- ./.github/actions/setup_dafny * composite
- actions/checkout v6 composite
- actions/setup-python v6 composite
- actions/upload-artifact v7 composite
- aws-actions/configure-aws-credentials v6 composite
AwsCryptographyPrimitives/runtimes/rust/Cargo.toml
cargo
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.sum
go
- github.com/aws/aws-sdk-go-v2 v1.32.8
- github.com/aws/aws-sdk-go-v2/config v1.28.10
- github.com/aws/aws-sdk-go-v2/credentials v1.17.51
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.27
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.27
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.12.1
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.10.8
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.12.8
- github.com/aws/aws-sdk-go-v2/service/kms v1.37.10
- github.com/aws/aws-sdk-go-v2/service/sso v1.24.9
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.8
- github.com/aws/aws-sdk-go-v2/service/sts v1.33.6
- github.com/aws/smithy-go v1.22.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/davecgh/go-spew v1.1.0
- github.com/google/uuid v1.6.0
- github.com/jmespath/go-jmespath v0.4.0
- github.com/jmespath/go-jmespath/internal/testify v1.5.1
- github.com/pmezard/go-difflib v1.0.0
- github.com/stretchr/objx v0.1.0
- gopkg.in/check.v1 v0.0.0-20161208181325-20d25e280405
- gopkg.in/yaml.v2 v2.2.8
releases/go/primitives/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.4.0
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj
nuget
- AWSSDK.Core 4.0.*
- AWSSDK.DynamoDBv2 4.0.*
- DafnyRuntime $(DafnyVersion)
- System.Collections.Immutable 1.7.0
- System.ValueTuple 4.6.1
StandardLibrary/runtimes/rust/Cargo.toml
cargo
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
- github.com/aws/aws-sdk-go-v2 v1.32.8
- github.com/aws/aws-sdk-go-v2/config v1.28.10
- github.com/aws/aws-sdk-go-v2/credentials v1.17.51
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.27
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.27
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.12.1
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.10.8
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.12.8
- github.com/aws/aws-sdk-go-v2/service/kms v1.36.0
- github.com/aws/aws-sdk-go-v2/service/sso v1.24.9
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.8
- github.com/aws/aws-sdk-go-v2/service/sts v1.33.6
- github.com/aws/smithy-go v1.22.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
- github.com/jmespath/go-jmespath v0.4.0
ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0-00010101000000-000000000000
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
- github.com/aws/aws-sdk-go-v2 v1.32.8
- github.com/aws/aws-sdk-go-v2/config v1.28.10
- github.com/aws/aws-sdk-go-v2/credentials v1.17.51
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.27
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.27
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.12.1
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.10.8
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.12.8
- github.com/aws/aws-sdk-go-v2/service/sso v1.24.9
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.8
- github.com/aws/aws-sdk-go-v2/service/sts v1.33.6
- github.com/aws/smithy-go v1.22.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/jmespath/go-jmespath v0.4.0
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/pyproject.toml
pypi
- aiohttp >=3.9.0
- awscrt >=0.15,<1.0
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.2.2
- github.com/aws/aws-sdk-go-v2 v1.32.8
- github.com/aws/aws-sdk-go-v2/config v1.28.10
- github.com/aws/aws-sdk-go-v2/credentials v1.17.51
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.27
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.27
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.12.1
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.10.8
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.12.8
- github.com/aws/aws-sdk-go-v2/service/kms v1.37.10
- github.com/aws/aws-sdk-go-v2/service/sso v1.24.9
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.8
- github.com/aws/aws-sdk-go-v2/service/sts v1.33.6
- github.com/aws/smithy-go v1.22.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
- github.com/jmespath/go-jmespath v0.4.0
releases/go/dynamodb/go.sum
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.4.0
- github.com/aws/aws-sdk-go-v2 v1.41.7
- github.com/aws/aws-sdk-go-v2/config v1.32.17
- github.com/aws/aws-sdk-go-v2/credentials v1.19.16
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.23
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.23
- github.com/aws/aws-sdk-go-v2/internal/v4a v1.4.24
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.57.3
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.13.9
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.11.23
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.23
- github.com/aws/aws-sdk-go-v2/service/signin v1.0.11
- github.com/aws/aws-sdk-go-v2/service/sso v1.30.17
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.35.21
- github.com/aws/aws-sdk-go-v2/service/sts v1.42.1
- github.com/aws/smithy-go v1.25.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
releases/go/smithy-dafny-standard-library/go.mod
go
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
.github/workflows/issue-notification.yml
actions
.github/workflows/library_codegen.yml
actions
- ./.github/actions/polymorph_codegen * composite
- ./.github/actions/setup_dafny * composite
- actions/checkout v6 composite
- actions/setup-dotnet v5 composite
- actions/setup-go v6 composite
.github/workflows/library_rust_build.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/setup_dafny * composite
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v6 composite
- actions/setup-go v6 composite
- actions/upload-artifact v7 composite
- aws-actions/configure-aws-credentials v6 composite
.github/workflows/test_dbesdk_examples.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/setup_dafny * composite
- actions/checkout v6 composite
- actions/setup-java v5 composite
- aws-actions/configure-aws-credentials v6 composite
AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml
pypi
- myst-parser ^4 docs
- sphinx ^7 docs
- sphinx-rtd-theme ^2 docs
- toml ^0.10.2 docs
- poetry 1.8.3 release
- twine 5.1.1 release
- wheel 0.38.4 release
- aws-cryptography-internal-dynamodb *
- aws-cryptography-internal-kms *
- aws-cryptography-internal-primitives *
- aws-cryptography-internal-standard-library *
- python ^3.11.0
- pytest ^7.4.0 test
.github/actions/polymorph_codegen/action.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
.github/actions/setup_dafny/action.yml
actions
- actions/setup-dotnet v3 composite
- dafny-lang/setup-dafny-action v1.9.1 composite
.github/workflows/check-files.yml
actions
- actions/checkout v6 composite
- peternied/required-approval v1.3 composite
.github/workflows/stale_issue.yml
actions
- aws-actions/stale-issue-cleanup v7 composite
.github/workflows/semantic_release.yml
actions
- actions/checkout v6 composite
- actions/setup-node v6 composite
- aws-actions/aws-secretsmanager-get-secrets v2 composite
- aws-actions/configure-aws-credentials v6 composite
StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
- github.com/aws/aws-sdk-go-v2 v1.32.8
- github.com/aws/aws-sdk-go-v2/config v1.28.10
- github.com/aws/aws-sdk-go-v2/credentials v1.17.51
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.27
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.27
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.12.1
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.10.8
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.12.8
- github.com/aws/aws-sdk-go-v2/service/kms v1.37.10
- github.com/aws/aws-sdk-go-v2/service/sso v1.24.9
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.8
- github.com/aws/aws-sdk-go-v2/service/sts v1.33.6
- github.com/aws/smithy-go v1.22.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
- github.com/jmespath/go-jmespath v0.4.0
ComAmazonawsKms/runtimes/net/AWS-KMS.csproj
nuget
- AWSSDK.Core 4.0.*
- AWSSDK.KeyManagementService 4.0.*
- DafnyRuntime $(DafnyVersion)
- System.Collections.Immutable 1.7.0
- System.ValueTuple 4.6.1
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/TestVectors.csproj
nuget
- DafnyRuntime $(DafnyVersion)
- System.Collections.Immutable 1.7.0
- System.ValueTuple 4.6.1
.github/workflows/check_dafny_runtime_versions.yml
actions
- actions/checkout v6 composite
.github/workflows/library_dafny_verification.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/polymorph_codegen * composite
- ./.github/actions/setup_dafny * composite
- actions/checkout v6 composite
.github/workflows/library_interop_tests.yml
actions
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v6 composite
- actions/download-artifact v8 composite
- actions/setup-dotnet v5 composite
- actions/setup-go v6 composite
- actions/setup-java v5 composite
- actions/setup-python v6 composite
- actions/upload-artifact v7 composite
- aws-actions/configure-aws-credentials v6 composite
.github/workflows/library_net_tests.yml
actions
- actions/checkout v6 composite
- actions/download-artifact v8 composite
- actions/setup-dotnet v5 composite
- aws-actions/configure-aws-credentials v6 composite
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
- github.com/aws/aws-sdk-go-v2 v1.31.0
- github.com/aws/aws-sdk-go-v2/config v1.27.36
- github.com/aws/aws-sdk-go-v2/credentials v1.17.34
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.14
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.18
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.18
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.11.5
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.11.20
- github.com/aws/aws-sdk-go-v2/service/kms v1.36.0
- github.com/aws/aws-sdk-go-v2/service/sso v1.23.0
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.27.0
- github.com/aws/aws-sdk-go-v2/service/sts v1.31.0
- github.com/aws/smithy-go v1.21.0
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
releases/go/kms/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.4.0
- github.com/aws/aws-sdk-go-v2 v1.41.7
- github.com/aws/aws-sdk-go-v2/config v1.32.17
- github.com/aws/aws-sdk-go-v2/credentials v1.19.16
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.23
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.23
- github.com/aws/aws-sdk-go-v2/internal/v4a v1.4.24
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.13.9
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.23
- github.com/aws/aws-sdk-go-v2/service/kms v1.51.1
- github.com/aws/aws-sdk-go-v2/service/signin v1.0.11
- github.com/aws/aws-sdk-go-v2/service/sso v1.30.17
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.35.21
- github.com/aws/aws-sdk-go-v2/service/sts v1.42.1
- github.com/aws/smithy-go v1.25.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
AwsCryptographicMaterialProviders/runtimes/net/tests/LocalCMC.Tests/LocalCMC.Tests.csproj
nuget
- Microsoft.NET.Test.Sdk 17.1.0
- Microsoft.TestPlatform.ObjectModel 17.1.0
- coverlet.collector 3.1.2
- xunit 2.4.1
- xunit.runner.visualstudio 2.4.3
.github/workflows/library_python_tests.yml
actions
- actions/checkout v6 composite
- actions/download-artifact v8 composite
- actions/setup-python v6 composite
- aws-actions/configure-aws-credentials v6 composite
.github/workflows/push.yml
actions
.github/workflows/rust-release.yml
actions
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v6 composite
- rust-lang/crates-io-auth-action v1 composite
.github/workflows/sem_ver.yml
actions
- actions/checkout v6 composite
- actions/setup-node v6 composite
- aws-actions/aws-secretsmanager-get-secrets v2 composite
- aws-actions/configure-aws-credentials v6 composite
.github/workflows/smithy-diff.yml
actions
- actions/checkout v6 composite
ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.sum
go
- github.com/aws/aws-sdk-go-v2 v1.31.0
- github.com/aws/aws-sdk-go-v2/config v1.27.36
- github.com/aws/aws-sdk-go-v2/credentials v1.17.34
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.14
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.18
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.18
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.11.5
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.11.20
- github.com/aws/aws-sdk-go-v2/service/kms v1.36.0
- github.com/aws/aws-sdk-go-v2/service/sso v1.23.0
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.27.0
- github.com/aws/aws-sdk-go-v2/service/sts v1.31.0
- github.com/aws/smithy-go v1.21.0
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
releases/go/mpl/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.4.0
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.4.0
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.4.0
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.4.0
- github.com/aws/aws-sdk-go-v2 v1.41.7
- github.com/aws/aws-sdk-go-v2/config v1.32.17
- github.com/aws/aws-sdk-go-v2/credentials v1.19.16
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.23
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.23
- github.com/aws/aws-sdk-go-v2/internal/v4a v1.4.24
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.57.3
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.13.9
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.11.23
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.23
- github.com/aws/aws-sdk-go-v2/service/kms v1.51.1
- github.com/aws/aws-sdk-go-v2/service/signin v1.0.11
- github.com/aws/aws-sdk-go-v2/service/sso v1.30.17
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.35.21
- github.com/aws/aws-sdk-go-v2/service/sts v1.42.1
- github.com/aws/smithy-go v1.25.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
releases/go/primitives/go.sum
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.4.0
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
ComAmazonawsDynamodb/runtimes/java/build.gradle.kts
maven
- org.dafny:DafnyRuntime ${dafnyVersion} implementation
- software.amazon.awssdk:dynamodb * implementation
- software.amazon.cryptography:StandardLibrary 1.0-SNAPSHOT implementation
- software.amazon.smithy.dafny:conversion 0.1.1 implementation
AwsCryptographyPrimitives/runtimes/python/pyproject.toml
pypi
- poetry 1.8.3 release
- twine 5.1.1 release
- wheel 0.38.4 release
- aws-cryptography-internal-standard-library *
- cryptography >=43.0.1, <49
- python ^3.11.0
- pyasn1 ^0.6.0 test
- pytest ^7.4.0 test
ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
- github.com/aws/aws-sdk-go-v2 v1.31.0
- github.com/aws/aws-sdk-go-v2/config v1.27.36
- github.com/aws/aws-sdk-go-v2/credentials v1.17.34
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.14
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.18
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.18
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.11.5
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.11.20
- github.com/aws/aws-sdk-go-v2/service/kms v1.36.0
- github.com/aws/aws-sdk-go-v2/service/sso v1.23.0
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.27.0
- github.com/aws/aws-sdk-go-v2/service/sts v1.31.0
- github.com/aws/smithy-go v1.21.0
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
releases/go/mpl/go.sum
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.4.0
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.4.0
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.4.0
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.4.0
- github.com/aws/aws-sdk-go-v2 v1.41.7
- github.com/aws/aws-sdk-go-v2/config v1.32.17
- github.com/aws/aws-sdk-go-v2/credentials v1.19.16
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.23
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.23
- github.com/aws/aws-sdk-go-v2/internal/v4a v1.4.24
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.57.3
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.13.9
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.11.23
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.23
- github.com/aws/aws-sdk-go-v2/service/kms v1.51.1
- github.com/aws/aws-sdk-go-v2/service/signin v1.0.11
- github.com/aws/aws-sdk-go-v2/service/sso v1.30.17
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.35.21
- github.com/aws/aws-sdk-go-v2/service/sts v1.42.1
- github.com/aws/smithy-go v1.25.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
AwsCryptographyPrimitives/runtimes/net/Crypto.csproj
nuget
- AWSSDK.Core 3.7.304.2
- BouncyCastle.Cryptography 2.6.2
- DafnyRuntime $(DafnyVersion)
- System.Collections.Immutable 1.7.0
- System.ValueTuple 4.6.1
StandardLibrary/runtimes/net/tests/Test-STD.csproj
nuget
- System.Collections.Immutable 1.7.0
- System.ValueTuple 4.6.1
.github/workflows/pull.yml
actions
- re-actors/alls-green release/v1 composite
.github/workflows/todo-java-release.yml
actions
- actions/checkout v6 composite
ComAmazonawsKms/runtimes/rust/Cargo.toml
cargo
releases/go/kms/go.sum
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.4.0
- github.com/aws/aws-sdk-go-v2 v1.41.7
- github.com/aws/aws-sdk-go-v2/config v1.32.17
- github.com/aws/aws-sdk-go-v2/credentials v1.19.16
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.23
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.23
- github.com/aws/aws-sdk-go-v2/internal/v4a v1.4.24
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.13.9
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.23
- github.com/aws/aws-sdk-go-v2/service/kms v1.51.1
- github.com/aws/aws-sdk-go-v2/service/signin v1.0.11
- github.com/aws/aws-sdk-go-v2/service/sso v1.30.17
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.35.21
- github.com/aws/aws-sdk-go-v2/service/sts v1.42.1
- github.com/aws/smithy-go v1.25.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
.github/workflows/duvet.yaml
actions
- actions/checkout v6 composite
- actions/upload-artifact v7 composite
.github/workflows/go-release.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/setup_dafny * composite
- actions/checkout v6 composite
- actions/setup-go v6 composite
- aws-actions/configure-aws-credentials v6 composite
- orhun/git-cliff-action v4 composite
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/requirements-dev.txt
pypi
- black ==24.3.0 development
- flake8 <6.1 development
- mypy ==1.0.0 development
- pytest <7.3 development
- pytest-asyncio <0.21.0 development
- pytest-cov <3.1 development
.github/workflows/dafny_versions.yaml
actions
- actions/checkout v6 composite
- christian-draeger/read-properties 1.1.1 composite
.github/workflows/library_interop_build.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/polymorph_codegen * composite
- ./.github/actions/setup_dafny * composite
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v6 composite
- actions/setup-dotnet v5 composite
- actions/setup-go v6 composite
- actions/setup-java v5 composite
- actions/setup-python v6 composite
- actions/upload-artifact v7 composite
- aws-actions/configure-aws-credentials v6 composite
.github/workflows/nightly_dafny.yml
actions
- aws-actions/aws-secretsmanager-get-secrets v2 composite
- aws-actions/configure-aws-credentials v6 composite
.github/workflows/test-interop-metrics.yml
actions
- ./.github/actions/install_smithy_dafny_codegen_dependencies * composite
- ./.github/actions/polymorph_codegen * composite
- ./.github/actions/setup_dafny * composite
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v6 composite
- actions/download-artifact v8 composite
- actions/setup-dotnet v5 composite
- actions/setup-go v6 composite
- actions/setup-java v5 composite
- actions/setup-python v6 composite
- actions/upload-artifact v7 composite
- aws-actions/configure-aws-credentials v6 composite
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
- github.com/aws/aws-sdk-go-v2 v1.32.8
- github.com/aws/aws-sdk-go-v2/config v1.28.10
- github.com/aws/aws-sdk-go-v2/credentials v1.17.51
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.27
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.27
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.12.1
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.10.8
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.12.8
- github.com/aws/aws-sdk-go-v2/service/kms v1.36.0
- github.com/aws/aws-sdk-go-v2/service/sso v1.24.9
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.8
- github.com/aws/aws-sdk-go-v2/service/sts v1.33.6
- github.com/aws/smithy-go v1.22.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
- github.com/jmespath/go-jmespath v0.4.0
ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.sum
go
- github.com/aws/aws-sdk-go-v2 v1.31.0
- github.com/aws/aws-sdk-go-v2/config v1.27.36
- github.com/aws/aws-sdk-go-v2/credentials v1.17.34
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.14
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.18
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.18
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.11.5
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.11.20
- github.com/aws/aws-sdk-go-v2/service/kms v1.36.0
- github.com/aws/aws-sdk-go-v2/service/sso v1.23.0
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.27.0
- github.com/aws/aws-sdk-go-v2/service/sts v1.31.0
- github.com/aws/smithy-go v1.21.0
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod
go
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.sum
go
- github.com/aws/aws-sdk-go-v2 v1.32.8
- github.com/aws/aws-sdk-go-v2/config v1.28.10
- github.com/aws/aws-sdk-go-v2/credentials v1.17.51
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.27
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.27
- github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.12.1
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.10.8
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.12.8
- github.com/aws/aws-sdk-go-v2/service/kms v1.37.10
- github.com/aws/aws-sdk-go-v2/service/sso v1.24.9
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.8
- github.com/aws/aws-sdk-go-v2/service/sts v1.33.6
- github.com/aws/smithy-go v1.22.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/davecgh/go-spew v1.1.0
- github.com/google/uuid v1.6.0
- github.com/jmespath/go-jmespath v0.4.0
- github.com/jmespath/go-jmespath/internal/testify v1.5.1
- github.com/pmezard/go-difflib v1.0.0
- github.com/stretchr/objx v0.1.0
- gopkg.in/check.v1 v0.0.0-20161208181325-20d25e280405
- gopkg.in/yaml.v2 v2.2.8
releases/go/dynamodb/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.4.0
- github.com/aws/aws-sdk-go-v2 v1.41.7
- github.com/aws/aws-sdk-go-v2/config v1.32.17
- github.com/aws/aws-sdk-go-v2/credentials v1.19.16
- github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.23
- github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.23
- github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.23
- github.com/aws/aws-sdk-go-v2/internal/v4a v1.4.24
- github.com/aws/aws-sdk-go-v2/service/dynamodb v1.57.3
- github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.13.9
- github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.11.23
- github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.23
- github.com/aws/aws-sdk-go-v2/service/signin v1.0.11
- github.com/aws/aws-sdk-go-v2/service/sso v1.30.17
- github.com/aws/aws-sdk-go-v2/service/ssooidc v1.35.21
- github.com/aws/aws-sdk-go-v2/service/sts v1.42.1
- github.com/aws/smithy-go v1.25.1
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
StandardLibrary/runtimes/java/build.gradle.kts
maven
- org.dafny:DafnyRuntime ${dafnyVersion} implementation
- software.amazon.smithy.dafny:conversion 0.1.1 implementation
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts
maven
- org.dafny:DafnyRuntime ${dafnyVersion} implementation
- software.amazon.awssdk:dynamodb * implementation
- software.amazon.awssdk:dynamodb-enhanced * implementation
- software.amazon.awssdk:kms * implementation
- software.amazon.cryptography:aws-cryptographic-material-providers ${version} implementation
- software.amazon.smithy.dafny:conversion 0.1.1 implementation
StandardLibrary/runtimes/net/STD.csproj
nuget
- DafnyRuntime $(DafnyVersion)
- System.Collections.Immutable 1.7.0
- System.ValueTuple 4.6.1
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/requirements.txt
pypi
- aiohttp >=3.9.0
- awscrt >=0.15,<1.0
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/pyproject.toml
pypi
- aws-cryptographic-material-providers *
- python ^3.11.0
- pytest ^7.4.0 test
.github/actions/install_smithy_dafny_codegen_dependencies/action.yml
actions
- Wandalen/wretry.action v3 composite
- actions/cache v4 composite
- nick-fields/retry v3 composite
.github/workflows/ci_static-analysis.yaml
actions
- actions/checkout v6 composite
- mattsb42-meta/not-grep 1.0.1 composite
.github/workflows/library_rust_tests.yml
actions
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v6 composite
- actions/download-artifact v8 composite
- actions/setup-go v6 composite
- aws-actions/configure-aws-credentials v6 composite
.github/workflows/manual.yml
actions
.github/workflows/sync-mutations-branch.yml
actions
- actions/checkout v4 composite
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.sum
go
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
.github/workflows/todo-release.yml
actions
AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod
go
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
- github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
AwsCryptographyPrimitives/runtimes/java/build.gradle.kts
maven
- org.bouncycastle:bcprov-jdk18on 1.72 implementation
- org.dafny:DafnyRuntime ${dafnyVersion} implementation
- software.amazon.cryptography:StandardLibrary 1.0-SNAPSHOT implementation
- software.amazon.smithy.dafny:conversion 0.1.1 implementation
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/tests/TestVectors-Tests.csproj
nuget
- System.Collections.Immutable 1.7.0
- System.ValueTuple 4.6.1
ComAmazonawsDynamodb/runtimes/python/pyproject.toml
pypi
- poetry 1.8.3 release
- twine 5.1.1 release
- wheel 0.38.4 release
- aws-cryptography-internal-standard-library *
- boto3 ^1.35.42
- python ^3.11.0
- pytest ^7.4.0 test
StandardLibrary/runtimes/go/TestsFromDafny-go/go.sum
go
- github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3
- github.com/google/uuid v1.6.0
ComAmazonawsKms/runtimes/java/build.gradle.kts
maven
- org.dafny:DafnyRuntime ${dafnyVersion} implementation
- software.amazon.awssdk:apache-client * implementation
- software.amazon.awssdk:kms * implementation
- software.amazon.cryptography:StandardLibrary 1.0-SNAPSHOT implementation
- software.amazon.smithy.dafny:conversion 0.1.1 implementation
- org.testng:testng 7.5 testImplementation
AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj
nuget
- DafnyRuntime $(DafnyVersion)
- System.Collections.Immutable 1.7.0
- System.ValueTuple 4.6.1
.github/workflows/library_java_tests.yml
actions
- actions/checkout v6 composite
- actions/download-artifact v8 composite
- actions/setup-java v5 composite
- aws-actions/configure-aws-credentials v6 composite