awsdotnet 

AWS::AppRunner 的CDK构建库（稳定性：实验性）

AWS::EKS 的CDK构建库（过时）

AWS::LookoutMetrics 的CDK构建库（稳定性：实验性）

AWS::SSMContacts 的CDK构建库（稳定性：实验性）

标准库是一个用于提供有助于 Dafny 功能的库。

AWS::Connect 的 CDK 构造库（稳定性：实验性）

AwsCryptographyPrimitives 是一个库，用于调用底层密码学原语并将 Dafny 生成的代码与原生 .NET 代码之间进行转换。

ComAmazonawsKms是一个库，用于在Dafny生成的代码和与AWS KMS交互的本地.NET代码之间进行转换。

ComAmazonawsDynamodb是一个库，用于在Dafny生成的代码和与AWS DynamoDBv2交互的本地.NET代码之间进行转换。

此版本增加了支持客户使用AWS工具包和Amazon CodeCatalyst的操作，这是统一软件开发服务，帮助开发者开发、部署和维护应用程序...

AWS ElasticLoadBalancingV2 的集成操作（稳定性：稳定）

AWS::Route53RecoveryControl 的 CDK 构造库（稳定性：实验性）

AWS 密码材料提供者库抽象了下层加密和解密材料的管理。它采用加密的最佳实践来保护数据密钥... 更多信息

AWS::Route53RecoveryReadiness 的 CDK 构造库（稳定性：实验性）

IAM Roles Anywhere 允许您的服务器、容器和应用程序等工作负载获得临时的 AWS 凭证，并使用您为 AWS 工作负载配置的相同的 IAM 角色和策略... 更多信息

AWS 主机现代化服务是一款托管型主机服务，提供一套用于计划、迁移、现代化和运行 AWS 上主机工作负载的工具

AWS::LookoutEquipment 的 CDK 构建库（稳定性：实验性）

为 Amazon Redshift Serverless 添加新的 API 操作，这是一种无需手动管理和配置集群即可使用 Amazon Redshift 的新方法。新的操作允许您与 Redshift Serverless 进行交互... 更多信息

一款帮助您在本地调试和测试 .NET 7.0 AWS Lambda 函数的工具。

AWS 加密 SDK 是一个客户端加密库，旨在使每个人都能使用行业标准最佳实践轻松加密和解密数据。