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

Download JAR files tagged by order with all dependencies


eprover from group org.eprover (version 1.6)

E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in clausal or full first-order form. The system will then try to find a formal proof for the conjecture, assuming the axioms.

Group: org.eprover Artifact: eprover

Download eprover.jar (1.6)
 

0 downloads
Artifact eprover
Group org.eprover
Version 1.6
Last update 21. November 2012
Organization not specified
URL http://www.eprover.org
License GNU General Public License, version 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

truevfs-ext-pacemanager from group net.java.truevfs (version 0.9.3)

Constrains the number of concurrently mounted archive file systems in order to save some heap space. This module provides a JMX interface for monitoring and management. Add the JAR artifact of this module to the run time class path to make its services available for service location in the client API modules.

Group: net.java.truevfs Artifact: truevfs-ext-pacemanager
Show all versions Show documentation Show source 
Download truevfs-ext-pacemanager.jar (0.9.3)
 

0 downloads
Artifact truevfs-ext-pacemanager
Group net.java.truevfs
Version 0.9.3
Last update 20. September 2012
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies truevfs-comp-jmx, scala-library,
There are maybe transitive dependencies!

staccatissimo-lambda from group net.sf.staccatocommons (version 2.3)

Lightweight library for instantiating functions and predicates in a DSL style, without using anonymous classes. This project is aimed to simplify higher-order programming until Java adds lambdas to its language

Group: net.sf.staccatocommons Artifact: staccatissimo-lambda
Show all versions Show documentation Show source 
Download staccatissimo-lambda.jar (2.3)
 

0 downloads
Artifact staccatissimo-lambda
Group net.sf.staccatocommons
Version 2.3
Last update 21. July 2012
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies commons-proxy, javassist, staccatissimo-lang,
There are maybe transitive dependencies!

ldap-sample-app-realm from group org.apache.geronimo.samples.javaee5 (version 3.0.0)

Group: org.apache.geronimo.samples.javaee5 Artifact: ldap-sample-app-realm
Show all versions 
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads

appcontext from group org.sonatype.appcontext (version 3.2)

A small utility useful in various use cases, like "booting" an application. All it does is simply creates a plain Map, with it's values sourced from different places and applies different strategies (override order).

Group: org.sonatype.appcontext Artifact: appcontext
Show all versions Show documentation Show source 
Download appcontext.jar (3.2)
 

0 downloads
Artifact appcontext
Group org.sonatype.appcontext
Version 3.2
Last update 06. June 2012
Organization not specified
URL https://github.com/sonatype/appcontext
License not specified
Dependencies amount 3
Dependencies plexus-interpolation, junit, slf4j-simple,
There are maybe transitive dependencies!

maven-runtime from group org.apache.maven.shared (version 1.0-alpha-3)

Group: org.apache.maven.shared Artifact: maven-runtime
Show all versions Show documentation Show source 
Download maven-runtime.jar (1.0-alpha-3)
 

0 downloads
Artifact maven-runtime
Group org.apache.maven.shared
Version 1.0-alpha-3


WekaODF from group nz.ac.waikato.cms.weka (version 1.0.4)

WekaODF adds support to directory read from and write to spreadsheets in ODF (Open Document Format for Office Applications, ISO/IEC 26300:2006) format. ODF is used by the OpenOffice.org suite, for instance. WekaODF uses jOpenDocument (http://www.jOpenDocument.org, GPL) in order to read/write ODF spreadsheets.

Group: nz.ac.waikato.cms.weka Artifact: WekaODF
Show all versions Show documentation Show source 
Download WekaODF.jar (1.0.4)
 

0 downloads
Artifact WekaODF
Group nz.ac.waikato.cms.weka
Version 1.0.4
Last update 13. May 2012
Organization University of Waikato, Hamilton, NZ
URL http://weka.sourceforge.net/doc.packages/WekaODF
License GNU General Public License 3
Dependencies amount 2
Dependencies weka-dev, jOpenDocument,
There are maybe transitive dependencies!

ngramj-language-extraction from group org.ow2.weblab.webservices (version 1.2.2)

This component is dedicated to process text resources contained by the Resource in input in order to identify in which language they are written. A dc:language property is added to every Text section having as value name of the ngp file used as for language profile.

Group: org.ow2.weblab.webservices Artifact: ngramj-language-extraction
Show all versions Show documentation 
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact ngramj-language-extraction
Group org.ow2.weblab.webservices
Version 1.2.2
Last update 06. March 2012
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies cngram, rdf-helper-jena,
There are maybe transitive dependencies!

commons-lambda from group net.sf.staccatocommons (version 1.2)

Lightweight library for instantiating functions and predicates in a DSL style, without using anonymous classes. This project is aimed to simplify higher-order programming until Java adds lambdas to its language

Group: net.sf.staccatocommons Artifact: commons-lambda
Show all versions Show documentation Show source 
Download commons-lambda.jar (1.2)
 

0 downloads
Artifact commons-lambda
Group net.sf.staccatocommons
Version 1.2
Last update 02. January 2012
Organization not specified
URL http://staccatocommons.sourceforge.net/${project.artifactId}
License not specified
Dependencies amount 3
Dependencies commons-proxy, javassist, commons-lang,
There are maybe transitive dependencies!

common-archetype from group net.sf.itcb.archetype (version 0.0.1)

Archetype that might be used by IT managers in order to create the common packages of custom IT. groupId, artifactId, package, version, companyMainGroupId, companyMainArtifactId, companyMainVersion, company, companyUrl have to be defined in archetype execution. By convention, we recommend to call this module common-"yourcompany".

Group: net.sf.itcb.archetype Artifact: common-archetype
Show source 
Download common-archetype.jar (0.0.1)
 

0 downloads
Artifact common-archetype
Group net.sf.itcb.archetype
Version 0.0.1
Last update 30. December 2010
Organization SourceForge ITCB
URL http://itcb.sourceforge.net
License LGPL License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!



Page 63 from 85 (items total 844)


© 2015 - 2025 Weber Informatics LLC | Privacy Policy