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

Group: org.dafny Artifact: DafnyRuntime
Show all versions Show documentation Show source

0 downloads

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!

smithy-dafny-codegen from group software.amazon.smithy.dafny (version 0.1.0)

Generates Dafny code from Smithy models

Group: software.amazon.smithy.dafny Artifact: smithy-dafny-codegen
Show documentation Show source

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!

conversion from group software.amazon.smithy.dafny (version 0.1)

Convert Native Java Types to Dafny Runtime Types and vice versa

Group: software.amazon.smithy.dafny Artifact: conversion
Show documentation Show source

0 downloads

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!

Page 1 from 1 (items total 3)