Path	Lines of Code
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/client.py	315
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/client.py	623
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ECDH/externs.go	322
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/Signature/externs.go	102
AwsCryptographyPrimitives/runtimes/java/src/main/java/ECDH/ECCUtils.java	470
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/client.py	539
ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java	8440
ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToNative.java	4583
StandardLibrary/runtimes/go/ImplementationFromDafny-go/FileIO/externs.go	79
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/http/__init__.py	53
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/http/crt.py	217
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/utils.py	104
StandardLibrary/runtimes/python/pyproject.toml	35
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/TestWrappedMaterialProvidersMain/extern.go	13
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/client.py	292
releases/go/primitives/ECDH/externs.go	322
releases/go/primitives/Signature/externs.go	102
releases/go/smithy-dafny-standard-library/FileIO/externs.go	79