Download JAR files tagged by techniques with all dependencies
prettyprinting from group org.overturetool.core (version 3.0.2)
Group: org.overturetool.core Artifact: prettyprinting
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact prettyprinting
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
typechecker from group org.overturetool.core (version 3.0.2)
0 downloads
Artifact typechecker
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies junit, ast, parser, testframework,
There are maybe transitive dependencies!
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies junit, ast, parser, testframework,
There are maybe transitive dependencies!
parser from group org.overturetool.core (version 3.0.2)
1 downloads
Artifact parser
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies ast, testframework,
There are maybe transitive dependencies!
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies ast, testframework,
There are maybe transitive dependencies!
testframework from group org.overturetool.core (version 3.0.2)
Group: org.overturetool.core Artifact: testframework
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact testframework
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies junit,
There are maybe transitive dependencies!
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies junit,
There are maybe transitive dependencies!
ast from group org.overturetool.core (version 3.0.2)
1 downloads
Artifact ast
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
core from group org.overturetool (version 3.0.2)
Group: org.overturetool Artifact: core
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact core
Group org.overturetool
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.overturetool
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
externals from group org.overturetool (version 3.0.2)
Artifact externals
Group org.overturetool
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.overturetool
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
root from group org.overturetool (version 3.0.2)
Overture is a community-based project developing the next generation of open-source tools to support modelling and analysis in the design of computer-based systems. Overture supports VDM: The Vienna Development Method, a set of modelling techniques with a long and successful history of industrial application and research. Overture is an integrated development environment (IDE) for developing VDM models. The Overture tools are written entirely in Java and build on top of the Eclipse platform. Overture supports the VDM-SL, VDM++, and VDM-RT language dialects.
Group: org.overturetool Artifact: root
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact root
Group org.overturetool
Version 3.0.2
Last update 10. November 2020
Organization Overture
URL Not specified
License GNU General Public License (GPL) version 3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.overturetool
Version 3.0.2
Last update 10. November 2020
Organization Overture
URL Not specified
License GNU General Public License (GPL) version 3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
teachingbox-core from group org.sf.teachingbox (version 1.2.3)
The Teachingbox uses advanced machine learning techniques to relieve developers from the programming of hand-crafted sophisticated behaviors of autonomous agents (such as robots, game players etc...) In the current status we have implemented a well founded reinforcement learning core in Java with many popular usecases, environments, policies and learners.
Group: org.sf.teachingbox Artifact: teachingbox-core
Show all versions Show documentation Show source
Show all versions Show documentation Show source
1 downloads
Artifact teachingbox-core
Group org.sf.teachingbox
Version 1.2.3
Last update 08. November 2016
Organization TeachingBox
URL http://sourceforge.net/projects/teachingbox/
License GNU General Public License, Version 3
Dependencies amount 14
Dependencies guava, jfreechart, surfaceplotter, log4j, commons-lang3, commons-math3, colt, junit, thrift, concurrent, encog-core, weka-stable, nrjavaserial, redstone,
There are maybe transitive dependencies!
Group org.sf.teachingbox
Version 1.2.3
Last update 08. November 2016
Organization TeachingBox
URL http://sourceforge.net/projects/teachingbox/
License GNU General Public License, Version 3
Dependencies amount 14
Dependencies guava, jfreechart, surfaceplotter, log4j, commons-lang3, commons-math3, colt, junit, thrift, concurrent, encog-core, weka-stable, nrjavaserial, redstone,
There are maybe transitive dependencies!
cache2k-jcache-parent from group org.cache2k (version 0.26-BETA)
Group: org.cache2k Artifact: cache2k-jcache-parent
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact cache2k-jcache-parent
Group org.cache2k
Version 0.26-BETA
Last update 07. May 2016
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.cache2k
Version 0.26-BETA
Last update 07. May 2016
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 15 from 21 (items total 208)