Download JAR files tagged by various with all dependencies

princess-parser_2.12 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-parser_2.12
Show all versions Show documentation Show source

0 downloads

Artifact princess-parser_2.12
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess_2.11 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess_2.11
Show all versions Show documentation Show source

0 downloads

Artifact princess_2.11
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 5
Dependencies scala-library, princess-parser_2.11, princess-smt-parser_2.11, scala-parser-combinators_2.11, java-cup,
There are maybe transitive dependencies!

princess-smt-parser_2.11 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-smt-parser_2.11
Show all versions Show documentation Show source

0 downloads

Artifact princess-smt-parser_2.11
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess-parser_2.11 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-parser_2.11
Show all versions Show documentation Show source

0 downloads

Artifact princess-parser_2.11
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

jsamp from group uk.ac.starlink (version 1.3.8)

Various components used for developing and deploying Simple Applications Messaging Protocol-compliant applications and middleware.

Group: uk.ac.starlink Artifact: jsamp
Show all versions Show documentation Show source

0 downloads

Artifact jsamp
Group uk.ac.starlink
Version 1.3.8
Last update 13. March 2024
Organization not specified
URL http://www.star.bristol.ac.uk/mbt/jsamp/
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies xmlrpc,
There are maybe transitive dependencies!

http-utils from group io.github.amayaframework (version 1.1.1)

A very small library containing some http utilities used in various parts of the framework.

Group: io.github.amayaframework Artifact: http-utils
Show all versions Show documentation Show source

0 downloads

Artifact http-utils
Group io.github.amayaframework
Version 1.1.1
Last update 09. March 2024
Organization io.github.amayaframework
URL https://github.com/AmayaFramework/http-utils
License Apache-2.0 License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

netty-tcnative-classes from group io.netty (version 2.0.65.Final)

A Mavenized fork of Tomcat Native which incorporates various patches. This artifact is dynamically linked to OpenSSL and Apache APR.

Group: io.netty Artifact: netty-tcnative-classes
Show all versions Show documentation Show source

0 downloads

Artifact netty-tcnative-classes
Group io.netty
Version 2.0.65.Final
Last update 07. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

netty-tcnative from group io.netty (version 2.0.65.Final)

A Mavenized fork of Tomcat Native which incorporates various patches. This artifact is dynamically linked to OpenSSL and Apache APR.

Group: io.netty Artifact: netty-tcnative
Show all versions

96 downloads

Artifact netty-tcnative
Group io.netty
Version 2.0.65.Final
Last update 07. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies netty-tcnative-classes,
There are maybe transitive dependencies!

netty-tcnative-boringssl-static from group io.netty (version 2.0.65.Final)

A Mavenized fork of Tomcat Native which incorporates various patches. This artifact is statically linked to BoringSSL and Apache APR.

Group: io.netty Artifact: netty-tcnative-boringssl-static
Show all versions

107 downloads

Artifact netty-tcnative-boringssl-static
Group io.netty
Version 2.0.65.Final
Last update 07. March 2024
Organization not specified
URL https://github.com/netty/netty-tcnative/netty-tcnative-boringssl-static/
License The Apache Software License, Version 2.0
Dependencies amount 9
Dependencies netty-tcnative-classes, netty-tcnative-boringssl-static, netty-tcnative-boringssl-static, netty-tcnative-boringssl-static, netty-tcnative-boringssl-static, netty-tcnative-boringssl-static, netty-tcnative-boringssl-static, netty-tcnative-boringssl-static, netty-tcnative-boringssl-static,
There are maybe transitive dependencies!

org.wso2.carbon.governance.gadgets.feature from group org.wso2.carbon.governance (version 4.8.33)

This contains the various gadgets that are available as a part of the WSO2 Governance Registry Dashboard. These gadgets can be used for impact analysis and monitoring lifecycle state transitions.

Group: org.wso2.carbon.governance Artifact: org.wso2.carbon.governance.gadgets.feature
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact org.wso2.carbon.governance.gadgets.feature
Group org.wso2.carbon.governance
Version 4.8.33
Last update 02. March 2024
Organization not specified
URL http://wso2.org
License not specified
Dependencies amount 4
Dependencies org.wso2.carbon.governance.gadgets.impactanalysis.feature, org.wso2.carbon.governance.gadgets.resourceimpact.feature, org.wso2.carbon.governance.gadgets.lifecycle.feature, org.wso2.carbon.governance.gadgets.ui.feature,
There are maybe transitive dependencies!

Page 215 from 363 (items total 3624)