Download JAR files tagged by model with all dependencies

theta-xta from group hu.bme.mit.theta (version 5.1.0)

Xta subproject in the Theta model checking framework

Group: hu.bme.mit.theta Artifact: theta-xta
Show all versions Show documentation Show source

0 downloads

Artifact theta-xta
Group hu.bme.mit.theta
Version 5.1.0
Last update 25. March 2024
Organization not specified
URL https://theta.mit.bme.hu/
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies antlr4,
There are maybe transitive dependencies!

theta-sts-cli from group hu.bme.mit.theta (version 5.1.0)

Sts Cli subproject in the Theta model checking framework

Group: hu.bme.mit.theta Artifact: theta-sts-cli
Show all versions Show documentation Show source

0 downloads

Artifact theta-sts-cli
Group hu.bme.mit.theta
Version 5.1.0
Last update 25. March 2024
Organization not specified
URL https://theta.mit.bme.hu/
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

theta-sts from group hu.bme.mit.theta (version 5.1.0)

Sts subproject in the Theta model checking framework

Group: hu.bme.mit.theta Artifact: theta-sts
Show all versions Show documentation Show source

0 downloads

Artifact theta-sts
Group hu.bme.mit.theta
Version 5.1.0
Last update 25. March 2024
Organization not specified
URL https://theta.mit.bme.hu/
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies antlr4,
There are maybe transitive dependencies!

theta-cat from group hu.bme.mit.theta (version 5.1.0)

Cat subproject in the Theta model checking framework

Group: hu.bme.mit.theta Artifact: theta-cat
Show all versions Show documentation Show source

0 downloads

Artifact theta-cat
Group hu.bme.mit.theta
Version 5.1.0
Last update 25. March 2024
Organization not specified
URL https://theta.mit.bme.hu/
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies antlr4,
There are maybe transitive dependencies!

theta-cfa-cli from group hu.bme.mit.theta (version 5.1.0)

Cfa Cli subproject in the Theta model checking framework

Group: hu.bme.mit.theta Artifact: theta-cfa-cli
Show all versions Show documentation Show source

0 downloads

Artifact theta-cfa-cli
Group hu.bme.mit.theta
Version 5.1.0
Last update 25. March 2024
Organization not specified
URL https://theta.mit.bme.hu/
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

theta-cfa from group hu.bme.mit.theta (version 5.1.0)

Cfa subproject in the Theta model checking framework

Group: hu.bme.mit.theta Artifact: theta-cfa
Show all versions Show documentation Show source

0 downloads

Artifact theta-cfa
Group hu.bme.mit.theta
Version 5.1.0
Last update 25. March 2024
Organization not specified
URL https://theta.mit.bme.hu/
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies antlr4,
There are maybe transitive dependencies!

xwiki-rendering-syntax-wikimodel from group org.xwiki.rendering (version 16.2.0)

Bridge WikiModel Model and XWiki Rendering Model

Group: org.xwiki.rendering Artifact: xwiki-rendering-syntax-wikimodel
Show all versions Show documentation Show source

0 downloads

Artifact xwiki-rendering-syntax-wikimodel
Group org.xwiki.rendering
Version 16.2.0
Last update 25. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies xwiki-rendering-wikimodel, xwiki-commons-xml,
There are maybe transitive dependencies!

xwiki-rendering-syntax-doxia from group org.xwiki.rendering (version 16.2.0)

Bridge Doxia Model and XWiki Rendering Model

Group: org.xwiki.rendering Artifact: xwiki-rendering-syntax-doxia
Show all versions Show documentation Show source

0 downloads

Artifact xwiki-rendering-syntax-doxia
Group org.xwiki.rendering
Version 16.2.0
Last update 25. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies doxia-core, plexus-xml,
There are maybe transitive dependencies!

springwolf-common-model-converters from group io.github.springwolf (version 1.1.0)

Common model converters beans for Springwolf

Group: io.github.springwolf Artifact: springwolf-common-model-converters
Show all versions Show documentation Show source

0 downloads

Artifact springwolf-common-model-converters
Group io.github.springwolf
Version 1.1.0
Last update 23. March 2024
Organization not specified
URL https://www.springwolf.dev
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

prov-model-scala from group org.openprovenance.prov (version 2.0.5)

A scala implementation of the PROV Data Model

Group: org.openprovenance.prov Artifact: prov-model-scala
Show all versions Show documentation Show source

0 downloads

Artifact prov-model-scala
Group org.openprovenance.prov
Version 2.0.5
Last update 22. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies prov-model, prov-jsonld, jackson-databind, jackson-annotations, scala-library, parboiled_${scala.binary.version},
There are maybe transitive dependencies!

Page 148 from 647 (items total 6465)