aws / aws-cryptographic-material-providers-library
File Size

The distribution of size of files (measured in lines of code).

Intro
Learn more...
File Size Overall
51% | 13% | 16% | 5% | 11%
Legend:
1001+
501-1000
201-500
101-200
1-100


explore: grouped by folders | grouped by size | sunburst | 3D view
File Size per Extension
1001+
501-1000
201-500
101-200
1-100
go52% | 15% | 23% | 4% | 3%
java55% | 4% | 8% | 9% | 21%
py65% | 17% | 7% | 4% | 4%
cs10% | 23% | 6% | 6% | 53%
yaml0% | 89% | 0% | 0% | 10%
rs0% | 0% | 30% | 17% | 52%
kts0% | 0% | 33% | 15% | 51%
toml0% | 0% | 0% | 0% | 100%
in0% | 0% | 0% | 0% | 100%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
ComAmazonawsKms91% | 4% | 2% | <1% | <1%
releases44% | 15% | 31% | 5% | 3%
AwsCryptographicMaterialProviders46% | 12% | 9% | 8% | 22%
ComAmazonawsDynamodb88% | 4% | 4% | 0% | 1%
AwsCryptographyPrimitives36% | 9% | 19% | 10% | 24%
TestVectorsAwsCryptographicMaterialProviders0% | 57% | 15% | 6% | 20%
cfn0% | 89% | 0% | 0% | 10%
StandardLibrary0% | 0% | 6% | 27% | 66%
codebuild0% | 0% | 0% | 92% | 7%
Longest Files (Top 50)
File# lines# units
ToNative.java
in ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny
8440 350
to_native.go
in releases/go/kms/comamazonawskmssmithygenerated
6797 575
to_native.go
in ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated
6689 575
to_native.go
in ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated
6689 575
aws_sdk_to_dafny.py
in ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms
5985 175
ToDafny.java
in ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny
5518 210
dafny_to_aws_sdk.py
in ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb
5437 290
AwsCryptographyPrimitivesTypes.go
in releases/go/primitives/AwsCryptographyPrimitivesTypes
4610 792
ToNative.java
in ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny
4583 195
models.py
in AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders
3976 532
Shim.java
in ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny
3925 52
Shim.java
in ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny
3151 48
to_native.go
in releases/go/mpl/awscryptographymaterialproviderssmithygenerated
2899 282
to_native.go
in AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated
2821 282
to_native.go
in AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated
2821 282
to_dafny.go
in AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated
2789 282
to_dafny.go
in AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated
2789 282
to_dafny.go
in releases/go/mpl/awscryptographymaterialproviderssmithygenerated
2753 282
dafny_to_aws_sdk.py
in ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms
2683 175
ToDafny.java
in AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders
2467 101
AwsCryptographyKeyStoreTypes.go
in releases/go/mpl/AwsCryptographyKeyStoreTypes
2124 352
smithy_to_dafny.py
in AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders
2117 99
AwsKmsHierarchicalKeyring.go
in releases/go/mpl/AwsKmsHierarchicalKeyring
2064 153
ToNative.java
in AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders
1963 114
types.go
in releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes
1791 153
types.go
in AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes
1791 153
types.go
in AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes
1791 153
models.py
in AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives
1777 205
AwsCryptographyMaterialProvidersOperations.go
in releases/go/mpl/AwsCryptographyMaterialProvidersOperations
1744 51
to_native.go
in releases/go/primitives/awscryptographyprimitivessmithygenerated
1675 151
JSON_Grammar.go
in releases/go/smithy-dafny-standard-library/JSON_Grammar
1661 308
TypeConversion.cs
in AwsCryptographyPrimitives/runtimes/net/Generated
1596 46
to_dafny.go
in AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated
1564 151
to_dafny.go
in AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated
1564 151
dafny_to_smithy.py
in AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders
1536 99
to_dafny.go
in releases/go/primitives/awscryptographyprimitivessmithygenerated
1504 151
to_native.go
in AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated
1495 151
to_native.go
in AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated
1495 151
AwsKmsRsaKeyring.go
in releases/go/mpl/AwsKmsRsaKeyring
1248 110
RawECDHKeyring.go
in releases/go/mpl/RawECDHKeyring
1235 67
AwsKmsKeyring.go
in releases/go/mpl/AwsKmsKeyring
1226 107
AwsKmsEcdhKeyring.go
in releases/go/mpl/AwsKmsEcdhKeyring
1114 61
shim.py
in ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb
1109 59
IntermediateKeyWrapping.go
in releases/go/mpl/IntermediateKeyWrapping
1035 86
TypeConversion.cs
in TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors
994 32
shim.py
in ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms
993 54
EcdhEdkWrapping.go
in releases/go/mpl/EcdhEdkWrapping
985 78
DynamoDBv2Shim.cs
in ComAmazonawsDynamodb/runtimes/net/Generated
981 1
RawRSAKeyring.go
in releases/go/mpl/RawRSAKeyring
974 85
models.py
in TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_m...
971 157
Files With Most Units (Top 50)
File# lines# units
AwsCryptographyPrimitivesTypes.go
in releases/go/primitives/AwsCryptographyPrimitivesTypes
4610 792
to_native.go
in releases/go/kms/comamazonawskmssmithygenerated
6797 575
to_native.go
in ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated
6689 575
to_native.go
in ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated
6689 575
models.py
in AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders
3976 532
AwsCryptographyKeyStoreTypes.go
in releases/go/mpl/AwsCryptographyKeyStoreTypes
2124 352
ToNative.java
in ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny
8440 350
JSON_Grammar.go
in releases/go/smithy-dafny-standard-library/JSON_Grammar
1661 308
dafny_to_aws_sdk.py
in ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb
5437 290
to_dafny.go
in releases/go/mpl/awscryptographymaterialproviderssmithygenerated
2753 282
to_native.go
in releases/go/mpl/awscryptographymaterialproviderssmithygenerated
2899 282
to_dafny.go
in AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated
2789 282
to_native.go
in AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated
2821 282
to_dafny.go
in AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated
2789 282
to_native.go
in AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated
2821 282
ToDafny.java
in ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny
5518 210
models.py
in AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives
1777 205
ToNative.java
in ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny
4583 195
dafny_to_aws_sdk.py
in ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms
2683 175
aws_sdk_to_dafny.py
in ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms
5985 175
models.py
in TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_m...
971 157
types.go
in releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes
1791 153
AwsKmsHierarchicalKeyring.go
in releases/go/mpl/AwsKmsHierarchicalKeyring
2064 153
types.go
in AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes
1791 153
types.go
in AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes
1791 153
to_dafny.go
in releases/go/primitives/awscryptographyprimitivessmithygenerated
1504 151
to_native.go
in releases/go/primitives/awscryptographyprimitivessmithygenerated
1675 151
to_dafny.go
in AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated
1564 151
to_native.go
in AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated
1495 151
to_dafny.go
in AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated
1564 151
to_native.go
in AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated
1495 151
BoundedInts.go
in releases/go/smithy-dafny-standard-library/BoundedInts
670 141
AwsArnParsing.go
in releases/go/mpl/AwsArnParsing
946 123
ToNative.java
in AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders
1963 114
AwsKmsRsaKeyring.go
in releases/go/mpl/AwsKmsRsaKeyring
1248 110
AwsKmsKeyring.go
in releases/go/mpl/AwsKmsKeyring
1226 107
models.py
in AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore
683 107
ToDafny.java
in AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders
2467 101
dafny_to_smithy.py
in AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders
1536 99
smithy_to_dafny.py
in AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders
2117 99
JSON_Utils_Cursors.go
in releases/go/smithy-dafny-standard-library/JSON_Utils_Cursors
769 93
MaterialWrapping.go
in releases/go/mpl/MaterialWrapping
690 90
IntermediateKeyWrapping.go
in releases/go/mpl/IntermediateKeyWrapping
1035 86
RawRSAKeyring.go
in releases/go/mpl/RawRSAKeyring
974 85
EcdhEdkWrapping.go
in releases/go/mpl/EcdhEdkWrapping
985 78
errors.py
in AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders
686 72
LocalCMC.go
in releases/go/mpl/LocalCMC
797 71
Wrappers.go
in releases/go/smithy-dafny-standard-library/Wrappers
472 69
JSON_Errors.go
in releases/go/smithy-dafny-standard-library/JSON_Errors
620 68
RawECDHKeyring.go
in releases/go/mpl/RawECDHKeyring
1235 67
Files With Long Lines (Top 50)

There are 479 files with lines longer than 120 characters. In total, there are 21879 long lines.

File# lines# units# long lines
to_native.go
in releases/go/mpl/awscryptographymaterialproviderssmithygenerated
2899 282 620
to_native.go
in AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated
2821 282 620
to_native.go
in AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated
2821 282 620
to_native.go
in releases/go/kms/comamazonawskmssmithygenerated
6797 575 549
to_native.go
in ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated
6689 575 549
to_native.go
in ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated
6689 575 549
to_dafny.go
in releases/go/mpl/awscryptographymaterialproviderssmithygenerated
2753 282 524
to_dafny.go
in AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated
2789 282 524
to_dafny.go
in AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated
2789 282 524
TypeConversion.cs
in AwsCryptographyPrimitives/runtimes/net/Generated
1596 46 487
dafny_to_aws_sdk.py
in ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb
5437 290 395
TypeConversion.cs
in TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors
994 32 319
DynamoDBv2Shim.cs
in ComAmazonawsDynamodb/runtimes/net/Generated
981 1 285
KeyManagementServiceShim.cs
in ComAmazonawsKms/runtimes/net/Generated
883 1 260
to_dafny.go
in TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated
861 64 249
to_dafny.go
in TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated
861 64 249
TypeConversion.cs
in AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore
770 31 231
AwsCryptographyMaterialProvidersOperations.go
in releases/go/mpl/AwsCryptographyMaterialProvidersOperations
1744 51 220
AwsKmsHierarchicalKeyring.go
in releases/go/mpl/AwsKmsHierarchicalKeyring
2064 153 215
dafny_to_smithy.py
in AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders
1536 99 197
to_native.go
in TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated
874 64 184
to_native.go
in TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated
874 64 184
to_native.go
in releases/go/primitives/awscryptographyprimitivessmithygenerated
1675 151 167
to_native.go
in AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated
1495 151 167
to_native.go
in AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated
1495 151 167
RawECDHKeyring.go
in releases/go/mpl/RawECDHKeyring
1235 67 166
smithy_to_dafny.py
in AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders
2117 99 157
AwsCryptographyPrimitivesTypes.go
in releases/go/primitives/AwsCryptographyPrimitivesTypes
4610 792 155
shim.py
in ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb
1109 59 155
to_dafny.go
in releases/go/primitives/awscryptographyprimitivessmithygenerated
1504 151 146
to_dafny.go
in AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated
1564 151 146
to_dafny.go
in AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated
1564 151 146
AwsKmsEcdhKeyring.go
in releases/go/mpl/AwsKmsEcdhKeyring
1114 61 142
shim.py
in ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms
993 54 141
IntermediateKeyWrapping.go
in releases/go/mpl/IntermediateKeyWrapping
1035 86 135
shim.go
in releases/go/dynamodb/DynamoDBwrapped
469 57 133
shim.go
in ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/DynamoDBwrapped
469 57 133
shim.go
in ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/DynamoDBwrapped
469 57 133
MaterialProviders.go
in releases/go/mpl/MaterialProviders
593 48 126
AwsKmsRsaKeyring.go
in releases/go/mpl/AwsKmsRsaKeyring
1248 110 126
AwsCryptographicMaterialProvidersShim.cs
in TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders
453 1 126
AwsKmsKeyring.go
in releases/go/mpl/AwsKmsKeyring
1226 107 118
RawRSAKeyring.go
in releases/go/mpl/RawRSAKeyring
974 85 110
MaterialProviders.cs
in AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders
223 9 110
EcdhEdkWrapping.go
in releases/go/mpl/EcdhEdkWrapping
985 78 109
shim.go
in AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersService
252 30 106
shim.go
in AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersService
252 30 106
aws_sdk_to_dafny.py
in ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms
5985 175 95
RequiredEncryptionContextCMM.go
in releases/go/mpl/RequiredEncryptionContextCMM
446 15 94
AwsKmsUtils.go
in releases/go/mpl/AwsKmsUtils
497 26 92
Correlations

File Size vs. Commits (all time): 1120 points

cfn/ESDK-Hierarchy-CI.yaml x: 8 commits (all time) y: 505 lines of code cfn/CI.yaml x: 13 commits (all time) y: 62 lines of code AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml x: 9 commits (all time) y: 30 lines of code ComAmazonawsKms/runtimes/rust/Cargo.toml x: 7 commits (all time) y: 17 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go x: 7 commits (all time) y: 610 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go x: 6 commits (all time) y: 505 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go x: 10 commits (all time) y: 2789 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go x: 8 commits (all time) y: 2821 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/aes_gcm.rs x: 5 commits (all time) y: 33 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs x: 8 commits (all time) y: 64 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs x: 9 commits (all time) y: 191 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/digest.rs x: 4 commits (all time) y: 31 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs x: 8 commits (all time) y: 482 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs x: 5 commits (all time) y: 250 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/hmac.rs x: 4 commits (all time) y: 112 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs x: 7 commits (all time) y: 56 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/oslang.rs x: 2 commits (all time) y: 33 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/random.rs x: 4 commits (all time) y: 35 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs x: 6 commits (all time) y: 65 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/uuid.rs x: 4 commits (all time) y: 69 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go x: 9 commits (all time) y: 1564 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go x: 8 commits (all time) y: 1495 lines of code ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go x: 10 commits (all time) y: 6689 lines of code ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go x: 5 commits (all time) y: 6689 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go x: 7 commits (all time) y: 861 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go x: 6 commits (all time) y: 874 lines of code AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml x: 21 commits (all time) y: 41 lines of code AwsCryptographyPrimitives/runtimes/python/pyproject.toml x: 21 commits (all time) y: 31 lines of code ComAmazonawsDynamodb/runtimes/python/pyproject.toml x: 24 commits (all time) y: 30 lines of code AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs x: 17 commits (all time) y: 3 lines of code StandardLibrary/runtimes/net/AssemblyInfo.cs x: 19 commits (all time) y: 3 lines of code StandardLibrary/runtimes/python/pyproject.toml x: 15 commits (all time) y: 35 lines of code AwsCryptographicMaterialProviders/runtimes/net/Extern/StormTrackingCMC.cs x: 6 commits (all time) y: 91 lines of code AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts x: 68 commits (all time) y: 251 lines of code ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java x: 14 commits (all time) y: 8440 lines of code ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py x: 6 commits (all time) y: 5437 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go x: 2 commits (all time) y: 92 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InFlightTTLExceeded.java x: 2 commits (all time) y: 66 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py x: 8 commits (all time) y: 686 lines of code releases/go/mpl/AwsKmsKeyring/AwsKmsKeyring.go x: 2 commits (all time) y: 1226 lines of code releases/go/mpl/AwsKmsMrkKeyring/AwsKmsMrkKeyring.go x: 2 commits (all time) y: 574 lines of code releases/go/mpl/AwsKmsRsaKeyring/AwsKmsRsaKeyring.go x: 2 commits (all time) y: 1248 lines of code releases/go/mpl/AwsKmsUtils/AwsKmsUtils.go x: 2 commits (all time) y: 497 lines of code releases/go/mpl/awscryptographykeystoresmithygenerated/to_dafny.go x: 2 commits (all time) y: 610 lines of code releases/go/mpl/awscryptographykeystoresmithygenerated/to_native.go x: 2 commits (all time) y: 514 lines of code releases/go/mpl/awscryptographykeystoresmithygeneratedtypes/types.go x: 2 commits (all time) y: 325 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygenerated/to_dafny.go x: 2 commits (all time) y: 2753 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygenerated/to_native.go x: 2 commits (all time) y: 2899 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes/types.go x: 2 commits (all time) y: 1791 lines of code releases/go/primitives/awscryptographyprimitivessmithygenerated/to_dafny.go x: 2 commits (all time) y: 1504 lines of code releases/go/primitives/awscryptographyprimitivessmithygenerated/to_native.go x: 2 commits (all time) y: 1675 lines of code releases/go/kms/comamazonawskmssmithygenerated/to_native.go x: 2 commits (all time) y: 6797 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go x: 4 commits (all time) y: 1791 lines of code StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go x: 5 commits (all time) y: 74 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go x: 4 commits (all time) y: 673 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateDefaultCryptographicMaterialsManagerInput.java x: 5 commits (all time) y: 50 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py x: 6 commits (all time) y: 3976 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts x: 56 commits (all time) y: 99 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/local_cmc.rs x: 3 commits (all time) y: 41 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/storm_tracker.rs x: 7 commits (all time) y: 84 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/smithy_to_dafny.py x: 4 commits (all time) y: 513 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafny_to_smithy.py x: 5 commits (all time) y: 1536 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/smithy_to_dafny.py x: 5 commits (all time) y: 2117 lines of code AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/dafny_to_smithy.py x: 4 commits (all time) y: 379 lines of code AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/smithy_to_dafny.py x: 4 commits (all time) y: 438 lines of code releases/go/mpl/AwsArnParsing/AwsArnParsing.go x: 1 commits (all time) y: 946 lines of code releases/go/mpl/AwsCryptographyKeyStoreOperations/AwsCryptographyKeyStoreOperations.go x: 1 commits (all time) y: 538 lines of code releases/go/mpl/AwsCryptographyKeyStoreTypes/AwsCryptographyKeyStoreTypes.go x: 1 commits (all time) y: 2124 lines of code releases/go/mpl/AwsCryptographyMaterialProvidersOperations/AwsCryptographyMaterialProvidersOperations.go x: 1 commits (all time) y: 1744 lines of code releases/go/mpl/AwsKmsDiscoveryKeyring/AwsKmsDiscoveryKeyring.go x: 1 commits (all time) y: 720 lines of code releases/go/mpl/AwsKmsEcdhKeyring/AwsKmsEcdhKeyring.go x: 1 commits (all time) y: 1114 lines of code releases/go/mpl/AwsKmsHierarchicalKeyring/AwsKmsHierarchicalKeyring.go x: 1 commits (all time) y: 2064 lines of code releases/go/mpl/AwsKmsMrkAreUnique/AwsKmsMrkAreUnique.go x: 1 commits (all time) y: 254 lines of code releases/go/mpl/AwsKmsMrkDiscoveryKeyring/AwsKmsMrkDiscoveryKeyring.go x: 1 commits (all time) y: 640 lines of code releases/go/mpl/AwsKmsMrkMatchForDecrypt/AwsKmsMrkMatchForDecrypt.go x: 1 commits (all time) y: 164 lines of code releases/go/mpl/CMM/CMM.go x: 1 commits (all time) y: 272 lines of code releases/go/mpl/CacheConstants/CacheConstants.go x: 1 commits (all time) y: 226 lines of code releases/go/mpl/Constants/Constants.go x: 1 commits (all time) y: 385 lines of code releases/go/mpl/CreateKeys/CreateKeys.go x: 1 commits (all time) y: 338 lines of code releases/go/mpl/DDBKeystoreOperations/DDBKeystoreOperations.go x: 1 commits (all time) y: 488 lines of code releases/go/mpl/DefaultCMM/DefaultCMM.go x: 1 commits (all time) y: 460 lines of code releases/go/mpl/EcdhEdkWrapping/EcdhEdkWrapping.go x: 1 commits (all time) y: 985 lines of code releases/go/mpl/ErrorMessages/ErrorMessages.go x: 1 commits (all time) y: 317 lines of code releases/go/mpl/IntermediateKeyWrapping/IntermediateKeyWrapping.go x: 1 commits (all time) y: 1035 lines of code releases/go/mpl/KMSKeystoreOperations/KMSKeystoreOperations.go x: 1 commits (all time) y: 406 lines of code releases/go/mpl/KeyStoreErrorMessages/KeyStoreErrorMessages.go x: 1 commits (all time) y: 171 lines of code releases/go/mpl/LocalCMC/LocalCMC.go x: 1 commits (all time) y: 797 lines of code releases/go/mpl/MaterialProviders/MaterialProviders.go x: 1 commits (all time) y: 593 lines of code releases/go/mpl/MaterialWrapping/MaterialWrapping.go x: 1 commits (all time) y: 690 lines of code releases/go/mpl/RawECDHKeyring/RawECDHKeyring.go x: 1 commits (all time) y: 1235 lines of code releases/go/mpl/StormTrackingCMC/externs.go x: 1 commits (all time) y: 77 lines of code releases/go/mpl/SynchronizedLocalCMC/externs.go x: 1 commits (all time) y: 57 lines of code releases/go/mpl/awscryptographykeystoresmithygenerated/api_client.go x: 1 commits (all time) y: 131 lines of code releases/go/mpl/awscryptographykeystoresmithygeneratedtypes/errors.go x: 1 commits (all time) y: 12 lines of code releases/go/primitives/AwsCryptographyPrimitivesTypes/AwsCryptographyPrimitivesTypes.go x: 1 commits (all time) y: 4610 lines of code releases/go/smithy-dafny-standard-library/JSON_Errors/JSON_Errors.go x: 1 commits (all time) y: 620 lines of code releases/go/smithy-dafny-standard-library/JSON_Grammar/JSON_Grammar.go x: 1 commits (all time) y: 1661 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/StormTrackingCMC/externs.go x: 3 commits (all time) y: 77 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersService/shim.go x: 2 commits (all time) y: 252 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/api_client.go x: 2 commits (all time) y: 131 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go x: 3 commits (all time) y: 18 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/api_client.go x: 2 commits (all time) y: 538 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ECDH/externs.go x: 7 commits (all time) y: 322 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/RSAEncryption/externs.go x: 6 commits (all time) y: 123 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go x: 3 commits (all time) y: 211 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go x: 3 commits (all time) y: 455 lines of code ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/DynamoDBwrapped/shim.go x: 4 commits (all time) y: 469 lines of code ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/KMSwrapped/shim.go x: 5 commits (all time) y: 429 lines of code ComAmazonawsKms/runtimes/go/TestsFromDafny-go/KMSwrapped/shim.go x: 2 commits (all time) y: 429 lines of code StandardLibrary/runtimes/go/ImplementationFromDafny-go/DafnyLibraries/externs.go x: 5 commits (all time) y: 115 lines of code StandardLibrary/runtimes/go/ImplementationFromDafny-go/UUID/externs.go x: 6 commits (all time) y: 30 lines of code StandardLibrary/runtimes/rust/src/dafny_libraries.rs x: 3 commits (all time) y: 114 lines of code StandardLibrary/runtimes/java/src/main/java/Time/__default.java x: 10 commits (all time) y: 43 lines of code StandardLibrary/runtimes/net/Extern/Time.cs x: 9 commits (all time) y: 43 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java x: 11 commits (all time) y: 130 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java x: 21 commits (all time) y: 2467 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToNative.java x: 17 commits (all time) y: 1963 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/deserialize.py x: 7 commits (all time) y: 286 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs x: 13 commits (all time) y: 453 lines of code ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToNative.java x: 11 commits (all time) y: 4583 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToDafny.java x: 14 commits (all time) y: 497 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToNative.java x: 10 commits (all time) y: 444 lines of code AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/TypeConversion.cs x: 26 commits (all time) y: 770 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/errors.py x: 6 commits (all time) y: 198 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java x: 22 commits (all time) y: 955 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToNative.java x: 18 commits (all time) y: 887 lines of code AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs x: 25 commits (all time) y: 1596 lines of code AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/deserialize.py x: 7 commits (all time) y: 185 lines of code ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/shim.py x: 8 commits (all time) y: 1109 lines of code ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java x: 13 commits (all time) y: 5518 lines of code ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/shim.py x: 7 commits (all time) y: 993 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/ToDafny.java x: 13 commits (all time) y: 487 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/ToNative.java x: 9 commits (all time) y: 474 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/TypeConversion.cs x: 17 commits (all time) y: 994 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/errors.py x: 8 commits (all time) y: 180 lines of code AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs x: 12 commits (all time) y: 194 lines of code ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/Shim.java x: 9 commits (all time) y: 3151 lines of code ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs x: 11 commits (all time) y: 981 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/OpaqueError.java x: 9 commits (all time) y: 83 lines of code AwsCryptographyPrimitives/runtimes/net/Extern/AESEncryption.cs x: 7 commits (all time) y: 100 lines of code AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs x: 6 commits (all time) y: 368 lines of code AwsCryptographyPrimitives/runtimes/net/Extern/Random.cs x: 8 commits (all time) y: 31 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/client.py x: 3 commits (all time) y: 315 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/config.py x: 3 commits (all time) y: 134 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/dafny_to_smithy.py x: 3 commits (all time) y: 256 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/client.py x: 3 commits (all time) y: 623 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/references.py x: 3 commits (all time) y: 533 lines of code AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/serialize.py x: 3 commits (all time) y: 171 lines of code ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/aws_sdk_to_dafny.py x: 3 commits (all time) y: 5985 lines of code ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/dafny_to_aws_sdk.py x: 3 commits (all time) y: 2683 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/client.py x: 4 commits (all time) y: 292 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafny_to_smithy.py x: 4 commits (all time) y: 309 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/models.py x: 4 commits (all time) y: 971 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/smithy_to_dafny.py x: 4 commits (all time) y: 557 lines of code AwsCryptographyPrimitives/runtimes/java/build.gradle.kts x: 17 commits (all time) y: 80 lines of code ComAmazonawsKms/runtimes/java/build.gradle.kts x: 18 commits (all time) y: 118 lines of code StandardLibrary/runtimes/java/build.gradle.kts x: 16 commits (all time) y: 77 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CacheType.java x: 6 commits (all time) y: 146 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsHierarchicalKeyringInput.java x: 10 commits (all time) y: 142 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/BranchKeyIdSupplier.java x: 8 commits (all time) y: 103 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/CryptographicMaterialsCache.java x: 8 commits (all time) y: 211 lines of code ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/Shim.java x: 8 commits (all time) y: 3925 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/wrapped/TestMaterialProviders.java x: 10 commits (all time) y: 723 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/java/ECDH/ECCUtils.java x: 3 commits (all time) y: 470 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KmsEcdhKeyring.java x: 2 commits (all time) y: 149 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/RawEcdh.java x: 2 commits (all time) y: 170 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/MaterialProviders.java x: 11 commits (all time) y: 459 lines of code AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/MaterialProviders.cs x: 9 commits (all time) y: 223 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/AtomicPrimitives.java x: 17 commits (all time) y: 399 lines of code ComAmazonawsKms/runtimes/net/Extern/KMSClient.cs x: 12 commits (all time) y: 97 lines of code ComAmazonawsKms/runtimes/net/Generated/KeyManagementServiceShim.cs x: 12 commits (all time) y: 883 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KeyDescription.cs x: 4 commits (all time) y: 145 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/KMSConfiguration.java x: 7 commits (all time) y: 137 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/ECDSA.java x: 7 commits (all time) y: 255 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/KeyStore.java x: 11 commits (all time) y: 154 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/KeyVectors.java x: 9 commits (all time) y: 131 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keyStore/ToNative.java x: 14 commits (all time) y: 444 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToDafny.java x: 28 commits (all time) y: 2467 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToNative.java x: 29 commits (all time) y: 1963 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keyStore/KeyStore.java x: 9 commits (all time) y: 154 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ClientSupplier.java x: 8 commits (all time) y: 95 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/CryptographicMaterialsCache.java x: 6 commits (all time) y: 211 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/model/AlgorithmSuiteInfo.java x: 4 commits (all time) y: 215 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/model/CreateAwsKmsHierarchicalKeyringInput.java x: 12 commits (all time) y: 142 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/model/DecryptionMaterials.java x: 5 commits (all time) y: 143 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/model/PutCacheEntryInput.java x: 4 commits (all time) y: 172 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/wrapped/TestMaterialProviders.java x: 4 commits (all time) y: 723 lines of code
8440.0
lines of code
  min: 1.0
  average: 229.53
  25th percentile: 26.0
  median: 62.0
  75th percentile: 135.5
  max: 8440.0
0 68.0
commits (all time)
min: 1.0 | average: 3.76 | 25th percentile: 1.0 | median: 3.0 | 75th percentile: 4.0 | max: 68.0

File Size vs. Contributors (all time): 1120 points

cfn/ESDK-Hierarchy-CI.yaml x: 3 contributors (all time) y: 505 lines of code cfn/CI.yaml x: 4 contributors (all time) y: 62 lines of code AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml x: 5 contributors (all time) y: 30 lines of code AwsCryptographyPrimitives/runtimes/rust/Cargo.toml x: 3 contributors (all time) y: 19 lines of code ComAmazonawsDynamodb/runtimes/rust/Cargo.toml x: 4 contributors (all time) y: 17 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go x: 3 contributors (all time) y: 610 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go x: 3 contributors (all time) y: 2789 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go x: 3 contributors (all time) y: 2821 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/aes_gcm.rs x: 2 contributors (all time) y: 33 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs x: 4 contributors (all time) y: 191 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs x: 3 contributors (all time) y: 482 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs x: 2 contributors (all time) y: 250 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/hmac.rs x: 2 contributors (all time) y: 112 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/oslang.rs x: 1 contributors (all time) y: 33 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/random.rs x: 2 contributors (all time) y: 35 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs x: 3 contributors (all time) y: 65 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/uuid.rs x: 2 contributors (all time) y: 69 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go x: 4 contributors (all time) y: 1564 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go x: 4 contributors (all time) y: 1495 lines of code ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go x: 4 contributors (all time) y: 6689 lines of code ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go x: 3 contributors (all time) y: 6689 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go x: 3 contributors (all time) y: 861 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go x: 3 contributors (all time) y: 874 lines of code AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml x: 5 contributors (all time) y: 41 lines of code ComAmazonawsDynamodb/runtimes/python/pyproject.toml x: 6 contributors (all time) y: 30 lines of code AwsCryptographicMaterialProviders/runtimes/net/Extern/StormTrackingCMC.cs x: 3 contributors (all time) y: 91 lines of code AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts x: 12 contributors (all time) y: 251 lines of code ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java x: 9 contributors (all time) y: 8440 lines of code ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py x: 4 contributors (all time) y: 5437 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py x: 5 contributors (all time) y: 686 lines of code releases/go/mpl/AwsKmsKeyring/AwsKmsKeyring.go x: 1 contributors (all time) y: 1226 lines of code releases/go/mpl/AwsKmsMrkKeyring/AwsKmsMrkKeyring.go x: 1 contributors (all time) y: 574 lines of code releases/go/mpl/AwsKmsRsaKeyring/AwsKmsRsaKeyring.go x: 1 contributors (all time) y: 1248 lines of code releases/go/mpl/AwsKmsUtils/AwsKmsUtils.go x: 1 contributors (all time) y: 497 lines of code releases/go/mpl/awscryptographykeystoresmithygenerated/to_dafny.go x: 1 contributors (all time) y: 610 lines of code releases/go/mpl/awscryptographykeystoresmithygenerated/to_native.go x: 1 contributors (all time) y: 514 lines of code releases/go/mpl/awscryptographykeystoresmithygeneratedtypes/types.go x: 1 contributors (all time) y: 325 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygenerated/to_dafny.go x: 1 contributors (all time) y: 2753 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygenerated/to_native.go x: 1 contributors (all time) y: 2899 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes/types.go x: 1 contributors (all time) y: 1791 lines of code releases/go/primitives/awscryptographyprimitivessmithygenerated/to_dafny.go x: 1 contributors (all time) y: 1504 lines of code releases/go/primitives/awscryptographyprimitivessmithygenerated/to_native.go x: 1 contributors (all time) y: 1675 lines of code releases/go/kms/comamazonawskmssmithygenerated/to_native.go x: 1 contributors (all time) y: 6797 lines of code releases/go/smithy-dafny-standard-library/UTF8/externs.go x: 1 contributors (all time) y: 74 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go x: 2 contributors (all time) y: 1791 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go x: 2 contributors (all time) y: 673 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateRequiredEncryptionContextCMMInput.java x: 4 contributors (all time) y: 87 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py x: 4 contributors (all time) y: 3976 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts x: 13 contributors (all time) y: 99 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs x: 5 contributors (all time) y: 72 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/smithy_to_dafny.py x: 2 contributors (all time) y: 513 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafny_to_smithy.py x: 3 contributors (all time) y: 1536 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/smithy_to_dafny.py x: 3 contributors (all time) y: 2117 lines of code AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/dafny_to_smithy.py x: 2 contributors (all time) y: 379 lines of code AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/smithy_to_dafny.py x: 2 contributors (all time) y: 438 lines of code releases/go/mpl/AwsArnParsing/AwsArnParsing.go x: 1 contributors (all time) y: 946 lines of code releases/go/mpl/AwsCryptographyKeyStoreOperations/AwsCryptographyKeyStoreOperations.go x: 1 contributors (all time) y: 538 lines of code releases/go/mpl/AwsCryptographyKeyStoreTypes/AwsCryptographyKeyStoreTypes.go x: 1 contributors (all time) y: 2124 lines of code releases/go/mpl/AwsCryptographyMaterialProvidersOperations/AwsCryptographyMaterialProvidersOperations.go x: 1 contributors (all time) y: 1744 lines of code releases/go/mpl/AwsKmsDiscoveryKeyring/AwsKmsDiscoveryKeyring.go x: 1 contributors (all time) y: 720 lines of code releases/go/mpl/AwsKmsEcdhKeyring/AwsKmsEcdhKeyring.go x: 1 contributors (all time) y: 1114 lines of code releases/go/mpl/AwsKmsHierarchicalKeyring/AwsKmsHierarchicalKeyring.go x: 1 contributors (all time) y: 2064 lines of code releases/go/mpl/AwsKmsMrkAreUnique/AwsKmsMrkAreUnique.go x: 1 contributors (all time) y: 254 lines of code releases/go/mpl/AwsKmsMrkDiscoveryKeyring/AwsKmsMrkDiscoveryKeyring.go x: 1 contributors (all time) y: 640 lines of code releases/go/mpl/AwsKmsMrkMatchForDecrypt/AwsKmsMrkMatchForDecrypt.go x: 1 contributors (all time) y: 164 lines of code releases/go/mpl/CMM/CMM.go x: 1 contributors (all time) y: 272 lines of code releases/go/mpl/CacheConstants/CacheConstants.go x: 1 contributors (all time) y: 226 lines of code releases/go/mpl/Constants/Constants.go x: 1 contributors (all time) y: 385 lines of code releases/go/mpl/CreateKeys/CreateKeys.go x: 1 contributors (all time) y: 338 lines of code releases/go/mpl/DefaultCMM/DefaultCMM.go x: 1 contributors (all time) y: 460 lines of code releases/go/mpl/EcdhEdkWrapping/EcdhEdkWrapping.go x: 1 contributors (all time) y: 985 lines of code releases/go/mpl/IntermediateKeyWrapping/IntermediateKeyWrapping.go x: 1 contributors (all time) y: 1035 lines of code releases/go/mpl/KMSKeystoreOperations/KMSKeystoreOperations.go x: 1 contributors (all time) y: 406 lines of code releases/go/mpl/KeyStoreErrorMessages/KeyStoreErrorMessages.go x: 1 contributors (all time) y: 171 lines of code releases/go/mpl/LocalCMC/LocalCMC.go x: 1 contributors (all time) y: 797 lines of code releases/go/mpl/MaterialWrapping/MaterialWrapping.go x: 1 contributors (all time) y: 690 lines of code releases/go/mpl/SynchronizedLocalCMC/externs.go x: 1 contributors (all time) y: 57 lines of code releases/go/mpl/awscryptographykeystoresmithygenerated/api_client.go x: 1 contributors (all time) y: 131 lines of code releases/go/primitives/AwsCryptographyPrimitivesTypes/AwsCryptographyPrimitivesTypes.go x: 1 contributors (all time) y: 4610 lines of code releases/go/smithy-dafny-standard-library/JSON_Grammar/JSON_Grammar.go x: 1 contributors (all time) y: 1661 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ECDH/externs.go x: 2 contributors (all time) y: 322 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go x: 2 contributors (all time) y: 211 lines of code ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/DynamoDBwrapped/shim.go x: 2 contributors (all time) y: 469 lines of code ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/KMSwrapped/shim.go x: 2 contributors (all time) y: 429 lines of code StandardLibrary/runtimes/java/src/main/java/DafnyLibraries/FileIO.java x: 4 contributors (all time) y: 104 lines of code StandardLibrary/runtimes/java/src/main/java/Time/__default.java x: 6 contributors (all time) y: 43 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java x: 5 contributors (all time) y: 130 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java x: 8 contributors (all time) y: 2467 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToNative.java x: 7 contributors (all time) y: 1963 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/StormTrackingCache.java x: 3 contributors (all time) y: 236 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/deserialize.py x: 4 contributors (all time) y: 286 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs x: 8 contributors (all time) y: 453 lines of code ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToNative.java x: 7 contributors (all time) y: 4583 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToDafny.java x: 6 contributors (all time) y: 497 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToNative.java x: 4 contributors (all time) y: 444 lines of code AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/TypeConversion.cs x: 9 contributors (all time) y: 770 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/errors.py x: 3 contributors (all time) y: 198 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java x: 9 contributors (all time) y: 955 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToNative.java x: 8 contributors (all time) y: 887 lines of code AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs x: 9 contributors (all time) y: 1596 lines of code ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/shim.py x: 4 contributors (all time) y: 1109 lines of code ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java x: 8 contributors (all time) y: 5518 lines of code ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/shim.py x: 3 contributors (all time) y: 993 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/ToNative.java x: 5 contributors (all time) y: 474 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/TypeConversion.cs x: 6 contributors (all time) y: 994 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/models.py x: 3 contributors (all time) y: 683 lines of code AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs x: 7 contributors (all time) y: 194 lines of code ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/Shim.java x: 8 contributors (all time) y: 3151 lines of code ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs x: 8 contributors (all time) y: 981 lines of code AwsCryptographyPrimitives/runtimes/net/Extern/AESEncryption.cs x: 6 contributors (all time) y: 100 lines of code AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs x: 3 contributors (all time) y: 368 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/config.py x: 2 contributors (all time) y: 134 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/client.py x: 2 contributors (all time) y: 623 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/references.py x: 2 contributors (all time) y: 533 lines of code AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/serialize.py x: 2 contributors (all time) y: 171 lines of code ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/aws_sdk_to_dafny.py x: 2 contributors (all time) y: 5985 lines of code ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/dafny_to_aws_sdk.py x: 2 contributors (all time) y: 2683 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/client.py x: 2 contributors (all time) y: 292 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/models.py x: 2 contributors (all time) y: 971 lines of code AwsCryptographyPrimitives/runtimes/java/build.gradle.kts x: 6 contributors (all time) y: 80 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CacheType.java x: 4 contributors (all time) y: 146 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsHierarchicalKeyringInput.java x: 6 contributors (all time) y: 142 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/BranchKeyIdSupplier.java x: 7 contributors (all time) y: 103 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/CryptographicMaterialsCache.java x: 7 contributors (all time) y: 211 lines of code ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/Shim.java x: 6 contributors (all time) y: 3925 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/wrapped/TestMaterialProviders.java x: 6 contributors (all time) y: 723 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/MaterialProviders.java x: 7 contributors (all time) y: 459 lines of code AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/MaterialProviders.cs x: 5 contributors (all time) y: 223 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/PublicKeyUtils.java x: 6 contributors (all time) y: 169 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/AtomicPrimitives.java x: 7 contributors (all time) y: 399 lines of code AwsCryptographyPrimitives/runtimes/net/Generated/AtomicPrimitives.cs x: 5 contributors (all time) y: 195 lines of code ComAmazonawsKms/runtimes/net/Generated/KeyManagementServiceShim.cs x: 7 contributors (all time) y: 883 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/KMSConfiguration.java x: 3 contributors (all time) y: 137 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/ECDSA.java x: 5 contributors (all time) y: 255 lines of code AwsCryptographyPrimitives/runtimes/java/src/main/java/RSAEncryption/RSA.java x: 6 contributors (all time) y: 219 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/BranchKeyMaterials.java x: 3 contributors (all time) y: 109 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/AlgorithmSuiteInfo.java x: 3 contributors (all time) y: 215 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keyStore/ToNative.java x: 5 contributors (all time) y: 444 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToNative.java x: 8 contributors (all time) y: 1963 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/CryptographicMaterialsCache.java x: 4 contributors (all time) y: 211 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/CryptographicMaterialsManager.java x: 5 contributors (all time) y: 156 lines of code AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/MaterialProviders.java x: 6 contributors (all time) y: 459 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/wrapped/TestMaterialProviders.java x: 3 contributors (all time) y: 723 lines of code
8440.0
lines of code
  min: 1.0
  average: 229.53
  25th percentile: 26.0
  median: 62.0
  75th percentile: 135.5
  max: 8440.0
0 13.0
contributors (all time)
min: 1.0 | average: 2.47 | 25th percentile: 1.0 | median: 2.0 | 75th percentile: 3.0 | max: 13.0

File Size vs. Commits (30 days): 39 points

cfn/ESDK-Hierarchy-CI.yaml x: 3 commits (30d) y: 505 lines of code cfn/CI.yaml x: 1 commits (30d) y: 62 lines of code AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml x: 1 commits (30d) y: 30 lines of code AwsCryptographyPrimitives/runtimes/rust/Cargo.toml x: 1 commits (30d) y: 19 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go x: 1 commits (30d) y: 610 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go x: 1 commits (30d) y: 505 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go x: 1 commits (30d) y: 2789 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go x: 1 commits (30d) y: 2821 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs x: 1 commits (30d) y: 191 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs x: 2 commits (30d) y: 482 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs x: 2 commits (30d) y: 250 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/hmac.rs x: 1 commits (30d) y: 112 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go x: 1 commits (30d) y: 1564 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go x: 1 commits (30d) y: 1495 lines of code ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go x: 1 commits (30d) y: 6689 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go x: 1 commits (30d) y: 861 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go x: 1 commits (30d) y: 874 lines of code
6689.0
lines of code
  min: 11.0
  average: 989.26
  25th percentile: 35.0
  median: 482.0
  75th percentile: 1495.0
  max: 6689.0
0 3.0
commits (30d)
min: 1.0 | average: 1.1 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 3.0

File Size vs. Contributors (30 days): 39 points

cfn/ESDK-Hierarchy-CI.yaml x: 2 contributors (30d) y: 505 lines of code cfn/CI.yaml x: 1 contributors (30d) y: 62 lines of code AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml x: 1 contributors (30d) y: 30 lines of code AwsCryptographyPrimitives/runtimes/rust/Cargo.toml x: 1 contributors (30d) y: 19 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go x: 1 contributors (30d) y: 610 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go x: 1 contributors (30d) y: 505 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go x: 1 contributors (30d) y: 2789 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go x: 1 contributors (30d) y: 2821 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs x: 1 contributors (30d) y: 191 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs x: 1 contributors (30d) y: 482 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs x: 1 contributors (30d) y: 250 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/hmac.rs x: 1 contributors (30d) y: 112 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go x: 1 contributors (30d) y: 1564 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go x: 1 contributors (30d) y: 1495 lines of code ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go x: 1 contributors (30d) y: 6689 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go x: 1 contributors (30d) y: 861 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go x: 1 contributors (30d) y: 874 lines of code
6689.0
lines of code
  min: 11.0
  average: 989.26
  25th percentile: 35.0
  median: 482.0
  75th percentile: 1495.0
  max: 6689.0
0 2.0
contributors (30d)
min: 1.0 | average: 1.03 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 2.0

File Size vs. Commits (90 days): 87 points

cfn/ESDK-Hierarchy-CI.yaml x: 4 commits (90d) y: 505 lines of code cfn/CI.yaml x: 1 commits (90d) y: 62 lines of code AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml x: 2 commits (90d) y: 30 lines of code ComAmazonawsDynamodb/runtimes/rust/Cargo.toml x: 1 commits (90d) y: 17 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go x: 3 commits (90d) y: 610 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go x: 3 commits (90d) y: 505 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go x: 4 commits (90d) y: 2789 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go x: 3 commits (90d) y: 2821 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs x: 1 commits (90d) y: 191 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs x: 2 commits (90d) y: 482 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs x: 2 commits (90d) y: 250 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/hmac.rs x: 1 commits (90d) y: 112 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/uuid.rs x: 1 commits (90d) y: 69 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go x: 4 commits (90d) y: 1564 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go x: 3 commits (90d) y: 1495 lines of code ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go x: 3 commits (90d) y: 6689 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go x: 4 commits (90d) y: 861 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go x: 3 commits (90d) y: 874 lines of code AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml x: 6 commits (90d) y: 41 lines of code AwsCryptographyPrimitives/runtimes/python/pyproject.toml x: 6 commits (90d) y: 31 lines of code AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs x: 3 commits (90d) y: 3 lines of code StandardLibrary/runtimes/python/pyproject.toml x: 4 commits (90d) y: 35 lines of code AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts x: 1 commits (90d) y: 251 lines of code ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java x: 1 commits (90d) y: 8440 lines of code ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py x: 1 commits (90d) y: 5437 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py x: 1 commits (90d) y: 686 lines of code releases/go/mpl/AwsKmsKeyring/AwsKmsKeyring.go x: 1 commits (90d) y: 1226 lines of code releases/go/mpl/AwsKmsMrkKeyring/AwsKmsMrkKeyring.go x: 1 commits (90d) y: 574 lines of code releases/go/mpl/AwsKmsRsaKeyring/AwsKmsRsaKeyring.go x: 1 commits (90d) y: 1248 lines of code releases/go/mpl/AwsKmsUtils/AwsKmsUtils.go x: 1 commits (90d) y: 497 lines of code releases/go/mpl/awscryptographykeystoresmithygenerated/to_dafny.go x: 1 commits (90d) y: 610 lines of code releases/go/mpl/awscryptographykeystoresmithygenerated/to_native.go x: 1 commits (90d) y: 514 lines of code releases/go/mpl/awscryptographykeystoresmithygeneratedtypes/types.go x: 1 commits (90d) y: 325 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygenerated/to_dafny.go x: 1 commits (90d) y: 2753 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygenerated/to_native.go x: 1 commits (90d) y: 2899 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes/types.go x: 1 commits (90d) y: 1791 lines of code releases/go/primitives/awscryptographyprimitivessmithygenerated/to_dafny.go x: 1 commits (90d) y: 1504 lines of code releases/go/primitives/awscryptographyprimitivessmithygenerated/to_native.go x: 1 commits (90d) y: 1675 lines of code releases/go/kms/comamazonawskmssmithygenerated/to_native.go x: 1 commits (90d) y: 6797 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py x: 1 commits (90d) y: 3976 lines of code
8440.0
lines of code
  min: 3.0
  average: 994.6
  25th percentile: 50.0
  median: 251.0
  75th percentile: 1248.0
  max: 8440.0
0 6.0
commits (90d)
min: 1.0 | average: 1.95 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 3.0 | max: 6.0

File Size vs. Contributors (90 days): 87 points

cfn/ESDK-Hierarchy-CI.yaml x: 2 contributors (90d) y: 505 lines of code cfn/CI.yaml x: 1 contributors (90d) y: 62 lines of code AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml x: 2 contributors (90d) y: 30 lines of code ComAmazonawsDynamodb/runtimes/rust/Cargo.toml x: 1 contributors (90d) y: 17 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go x: 2 contributors (90d) y: 610 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go x: 2 contributors (90d) y: 2789 lines of code AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go x: 2 contributors (90d) y: 2821 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs x: 1 contributors (90d) y: 191 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs x: 1 contributors (90d) y: 482 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs x: 1 contributors (90d) y: 250 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/hmac.rs x: 1 contributors (90d) y: 112 lines of code AwsCryptographicMaterialProviders/runtimes/rust/src/uuid.rs x: 1 contributors (90d) y: 69 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go x: 2 contributors (90d) y: 1564 lines of code AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go x: 2 contributors (90d) y: 1495 lines of code ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go x: 2 contributors (90d) y: 6689 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go x: 2 contributors (90d) y: 861 lines of code TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go x: 2 contributors (90d) y: 874 lines of code AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml x: 3 contributors (90d) y: 41 lines of code AwsCryptographyPrimitives/runtimes/python/pyproject.toml x: 3 contributors (90d) y: 31 lines of code ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java x: 1 contributors (90d) y: 8440 lines of code ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py x: 1 contributors (90d) y: 5437 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py x: 1 contributors (90d) y: 686 lines of code releases/go/mpl/AwsKmsKeyring/AwsKmsKeyring.go x: 1 contributors (90d) y: 1226 lines of code releases/go/mpl/AwsKmsMrkKeyring/AwsKmsMrkKeyring.go x: 1 contributors (90d) y: 574 lines of code releases/go/mpl/AwsKmsRsaKeyring/AwsKmsRsaKeyring.go x: 1 contributors (90d) y: 1248 lines of code releases/go/mpl/awscryptographykeystoresmithygenerated/to_dafny.go x: 1 contributors (90d) y: 610 lines of code releases/go/mpl/awscryptographykeystoresmithygenerated/to_native.go x: 1 contributors (90d) y: 514 lines of code releases/go/mpl/awscryptographykeystoresmithygeneratedtypes/types.go x: 1 contributors (90d) y: 325 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygenerated/to_dafny.go x: 1 contributors (90d) y: 2753 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygenerated/to_native.go x: 1 contributors (90d) y: 2899 lines of code releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes/types.go x: 1 contributors (90d) y: 1791 lines of code releases/go/primitives/awscryptographyprimitivessmithygenerated/to_dafny.go x: 1 contributors (90d) y: 1504 lines of code releases/go/primitives/awscryptographyprimitivessmithygenerated/to_native.go x: 1 contributors (90d) y: 1675 lines of code releases/go/kms/comamazonawskmssmithygenerated/to_native.go x: 1 contributors (90d) y: 6797 lines of code AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py x: 1 contributors (90d) y: 3976 lines of code
8440.0
lines of code
  min: 3.0
  average: 994.6
  25th percentile: 50.0
  median: 251.0
  75th percentile: 1248.0
  max: 8440.0
0 3.0
contributors (90d)
min: 1.0 | average: 1.48 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 2.0 | max: 3.0