All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download conversion JAR 0.1 with all dependencies


    Convert Native Java Types to Dafny Runtime Types and vice versa

    Files of the artifact conversion version 0.1 from the group software.amazon.smithy.dafny.

    Test

    Download conversion (0.1)
    Artifact conversion
    Group software.amazon.smithy.dafny
    Version 0.1
    Last update 23. May 2023
    Organization not specified
    URL https://github.com/smithy-lang/smithy
    License Apache License 2.0
    Dependencies amount 0
    Dependencies No dependencies
    There are maybe transitive dependencies!
    There is a newer version: 0.1.1
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of conversion Show documentation

    Please rate this JAR file. Is it a good library?

    0 downloads

    Source code of conversion version 0.1

    Please wait ...




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy