Download smithy-dafny-codegen JAR file with all dependencies
smithy-dafny-codegen from group software.amazon.smithy.dafny (version 0.1.0)
Generates Dafny code from Smithy models
0 downloads
Artifact smithy-dafny-codegen
Group software.amazon.smithy.dafny
Version 0.1.0
Last update 07. June 2023
Organization not specified
URL https://github.com/awslabs/smithy
License Apache License 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group software.amazon.smithy.dafny
Version 0.1.0
Last update 07. June 2023
Organization not specified
URL https://github.com/awslabs/smithy
License Apache License 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)