Download JAR files tagged by dafny with all dependencies
DafnyRuntime from group org.dafny (version 4.7.0)
Runtime for Dafny programs compiled to Java
Artifact DafnyRuntime
Group org.dafny
Version 4.7.0
Last update 18. July 2024
Organization not specified
URL https://github.com/dafny-lang/dafny
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.dafny
Version 4.7.0
Last update 18. July 2024
Organization not specified
URL https://github.com/dafny-lang/dafny
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive 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 3)