All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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 
Download conversion.jar (0.1.1)
 

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!

conversion from group org.hglteam (version 3.0.4)

Group: org.hglteam Artifact: conversion
Show all versions 
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact conversion
Group org.hglteam
Version 3.0.4


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!



Page 1 from 1 (items total 3)


© 2015 - 2025 Weber Informatics LLC | Privacy Policy