Skip to main content
AWS.Cryptography.Internal.ComAmazonawsDynamodb package icon

AWS.Cryptography.Internal.ComAmazonawsDynamodb

ComAmazonawsDynamodb is a library written to convert between Dafny generated code and native .NET code that interacts with AWS DynamoDBv2.

Total Downloads
1.2M
1,176,186
Published
Mar 18, 2026
Latest stable version

Install

.NET CLI
dotnet add package AWS.Cryptography.Internal.ComAmazonawsDynamodb --version 2.0.0
Package Manager Console
Install-Package AWS.Cryptography.Internal.ComAmazonawsDynamodb -Version 2.0.0
PackageReference
<PackageReference Include="AWS.Cryptography.Internal.ComAmazonawsDynamodb" Version="2.0.0" />

Frameworks

.NETFramework4.8 net6.0

Dependencies

AWSSDK.Core
.NETFramework4.8
[4.0.3.19, )
AWSSDK.DynamoDBv2
.NETFramework4.8
[4.0.15.3, )
DafnyRuntime
.NETFramework4.8
[4.9.0, )
[1.7.0, )
System.ValueTuple
.NETFramework4.8
[4.6.1, )
[4.0.3.19, )
[4.0.15.3, )
[4.9.0, )
[4.6.1, )

Adoption guide

A verified publisher signal is available. Assess fit from the package's supported frameworks, license and dependency graph rather than popularity alone.

Compatibility metadata lists 2 target frameworks; confirm the exact target used by your application.

How to read this guidance

Sources: published NuGet v3 registry metadata and explicit NuBrowse editorial guides. Refresh: package metadata is refreshed from NuGet when the page loads. Limit: this is not a security, legal or compatibility guarantee; validate the selected version in your project.

Useful next steps

Move from package metadata to a concrete selection or review workflow.