-
setup-dafny-action Public
Forked from dafny-lang/setup-dafny-actionAction for installing Dafny
JavaScript MIT License UpdatedMay 23, 2025 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedMay 20, 2025 -
-
dafny-gradle-plugin Public
Forked from dafny-lang/dafny-gradle-pluginDafny plugin for Gradle
Java MIT License UpdatedJan 10, 2025 -
libraries Public
Forked from dafny-lang/librariesLibraries useful for Dafny programs
Dafny Other UpdatedOct 25, 2024 -
aws-cryptographic-material-providers-library Public
Forked from aws/aws-cryptographic-material-providers-libraryAWS Cryptographic Material Providers Library
C# Apache License 2.0 UpdatedOct 22, 2024 -
-
dafny-rfcs Public
Forked from dafny-lang/rfcsDafny request-for-feature discussions
MIT License UpdatedAug 17, 2023 -
awesome-smithy Public
Forked from smithy-lang/awesome-smithyApache License 2.0 UpdatedJun 23, 2023 -
smithy Public
Forked from smithy-lang/smithySmithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.
Java Apache License 2.0 UpdatedJun 8, 2023 -
dafny-reportgenerator Public
Forked from dafny-lang/dafny-reportgeneratorA tool for analyzing and reporting on Dafny, especially the results of verification
Dafny MIT License UpdatedFeb 18, 2023 -
libraries-without-variance Public
Forked from dafny-lang/libraries-without-varianceFork of dafny-lang/libraries without variance declarations on type variables, to work around compilation gaps
Dafny Other UpdatedAug 9, 2022 -
dafny.msbuild Public
Forked from dafny-lang/dafny.msbuildMSBuild tasks for use in projects containing Dafny source code
C# MIT License UpdatedMar 15, 2022 -
test-reporter Public
Forked from dorny/test-reporterDisplays test results from popular testing frameworks directly in GitHub
TypeScript MIT License UpdatedMar 11, 2022 -
-
ide-vscode Public
Forked from dafny-lang/ide-vscodeVSCode IDE Integration for Dafny
TypeScript MIT License UpdatedOct 21, 2021 -
-
aws-encryption-sdk-c Public
Forked from aws/aws-encryption-sdk-cAWS Encryption SDK for C
C Apache License 2.0 UpdatedJul 12, 2021 -
aws-encryption-sdk-java Public
Forked from aws/aws-encryption-sdk-javaAWS Encryption SDK
Java Apache License 2.0 UpdatedJun 16, 2021 -
aws-encryption-sdk-cli Public
Forked from aws/aws-encryption-sdk-cliCLI wrapper around aws-encryption-sdk-python
Python Apache License 2.0 UpdatedMay 26, 2021 -
aws-encryption-sdk-test-vectors Public
Forked from awslabs/aws-encryption-sdk-test-vectorsTest vectors for the AWS Encryption SDK
Apache License 2.0 UpdatedMay 25, 2021 -
aws-dynamodb-encryption-python Public
Forked from aws/aws-dynamodb-encryption-pythonAmazon DynamoDB Encryption Client for Python
Python Apache License 2.0 UpdatedMay 25, 2021 -
aws-dynamodb-encryption-java Public
Forked from aws/aws-dynamodb-encryption-javaAmazon DynamoDB Encryption Client for Java
Java Apache License 2.0 UpdatedMay 25, 2021 -
aws-encryption-sdk-specification Public
Forked from awslabs/aws-encryption-sdk-specificationAWS Encryption SDK Specification
Shell Other UpdatedMay 25, 2021 -
aws-encryption-sdk-javascript Public
Forked from aws/aws-encryption-sdk-javascriptAWS Encryption SDK for Javascript and Node.js
TypeScript Apache License 2.0 UpdatedMay 25, 2021 -
aws-encryption-sdk-python Public
Forked from aws/aws-encryption-sdk-pythonAWS Encryption SDK
Python Apache License 2.0 UpdatedMay 20, 2021 -
aws-crypto-tools-test-vector-framework Public
Forked from awslabs/aws-crypto-tools-test-vector-frameworkContains rules explaining how to use test vectors for the AWS Encryption SDK
Python Apache License 2.0 UpdatedMay 20, 2021 -
asn1.js Public
Forked from indutny/asn1.jsASN.1 Decoder/Encoder/DSL
JavaScript MIT License UpdatedApr 16, 2021 -
-
aws-sdk-js-crypto-helpers Public
Forked from aws/aws-sdk-js-crypto-helpersAWS Cryptographic helpers for Javascript and Node.js
TypeScript Apache License 2.0 UpdatedJan 13, 2021
{{ message }}