Download conversion JAR file with all dependencies
conversion from group software.amazon.smithy.dafny (version 0.1.1)
Convert Native Java Types to Dafny Runtime Types and vice versa
Group: software.amazon.smithy.dafny Artifact: conversion
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact conversion
Group software.amazon.smithy.dafny
Version 0.1.1
Last update 08. October 2024
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!
Group software.amazon.smithy.dafny
Version 0.1.1
Last update 08. October 2024
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!
conversion from group org.hglteam (version 3.0.4)
Group: org.hglteam Artifact: conversion
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
conversion from group org.qsardb (version 1.0.0)
Group: org.qsardb Artifact: conversion
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact conversion
Group org.qsardb
Version 1.0.0
Last update 31. December 2013
Organization University of Tartu
URL Not specified
License New BSD License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.qsardb
Version 1.0.0
Last update 31. December 2013
Organization University of Tartu
URL Not specified
License New BSD License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 3)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy