Download software.amazon.smithy.dafny JAR files 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!
conversion from group software.amazon.smithy.dafny (version 0.1)
Convert Native Java Types to Dafny Runtime Types and vice versa
Artifact conversion
Group software.amazon.smithy.dafny
Version 0.1
Last update 23. May 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
Last update 23. May 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 2)