Download JAR files tagged by logic with all dependencies

sigma-component from group com.github.ontologyportal (version 2.12)

Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org.

Group: com.github.ontologyportal Artifact: sigma-component
Show all versions Show documentation Show source

2 downloads

Artifact sigma-component
Group com.github.ontologyportal
Version 2.12
Last update 02. February 2017
Organization not specified
URL www.ontologyportal.org
License GNU General Public License
Dependencies amount 6
Dependencies antlr, guava, mail, cos, json-simple, commons-lang3,
There are maybe transitive dependencies!

console-view from group io.bretty (version 3.4)

A Java framework to instantly build the View layer of your command line app. No more worries about anything like printing menus or validating user inputs. Just focus on your app logic.

Group: io.bretty Artifact: console-view
Show all versions Show documentation Show source

1 downloads

Artifact console-view
Group io.bretty
Version 3.4
Last update 20. February 2016
Organization not specified
URL https://github.com/nathanielove/Java-Console-View
License Apache License, Version 2.0
Dependencies amount 1
Dependencies junit,
There are maybe transitive dependencies!

jfire-socket from group link.jfire (version 1.0)

Jfire - socket is a server-side framework based on AIO. Users only need a simple implementation of a business logic processing interface can be the business data processing. The framework provides the client and server at the same time. Have strong connection capacity. Single server provides tens of thousands of connections.

Group: link.jfire Artifact: jfire-socket
Show documentation Show source

0 downloads

Artifact jfire-socket
Group link.jfire
Version 1.0
Last update 01. December 2015
Organization not specified
URL www.jfire.link
License The Apache Software License, Version 2.0
Dependencies amount 2
Dependencies jfire-core, jfire-baseutil,
There are maybe transitive dependencies!

cyc-kb from group com.cyc (version 1.0.0-rc4)

The KB API provides basic functionality for manipulating CycL-based Java objects. The API extracts the main Predicate Logic constructs in the Cyc KB as Java classes. A set of factory methods allow finding and creating terms and assertions. These can be used to build sentences, to create new assertions, or to build queries.

Group: com.cyc Artifact: cyc-kb
Show all versions Show documentation Show source

0 downloads

Artifact cyc-kb
Group com.cyc
Version 1.0.0-rc4
Last update 30. October 2015
Organization Cycorp, Inc
URL http://dev.cyc.com/api/core/
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies cyc-base-client, commons-lang,
There are maybe transitive dependencies!

sigma-component from group com.articulatesoftware (version 2.10)

Group: com.articulatesoftware Artifact: sigma-component
Show all versions Show documentation Show source

2 downloads

Artifact sigma-component
Group com.articulatesoftware
Version 2.10
Last update 04. August 2015
Organization not specified
URL www.ontologyportal.org
License GNU General Public License
Dependencies amount 8
Dependencies maven-release-plugin, maven-scm-provider-cvs-commons, antlr, guava, mail, cos, json-simple, stanford-corenlp,
There are maybe transitive dependencies!

templatefeather from group com.github.aliteralmind (version 0.1.1.2)

Template Featherweight: A simplistic Java template-rendering engine, providing for *plain gaps only*, such as "Hello, %name%!"--it has no advanced features such as if-logic, looping, or expressions--Templates may be output in full, after all gaps have been filled, or they may be *auto-rendered*, such that they are gradually output as each gap is filled.

Group: com.github.aliteralmind Artifact: templatefeather
Show all versions Show documentation Show source

0 downloads

Artifact templatefeather
Group com.github.aliteralmind
Version 0.1.1.2
Last update 10. December 2014
Organization Jeff Epstein
URL https://github.com/aliteralmind/templatefeather
License Lesser General Public License (LGPL) version 3.0
Dependencies amount 1
Dependencies xbnjava,
There are maybe transitive dependencies!

tester-one-zoo from group com.barchart.version.tester (version 1.0.7)

### ${project.artifactId} Application feature. * Uses consumer bundles. * Uses provider bundles. Bundle selection logic: * visit all dependencies * discover all version ranges * use most narrow version range * use latest release from the range

Group: com.barchart.version.tester Artifact: tester-one-zoo
Show all versions Show documentation

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

0 downloads

Artifact tester-one-zoo
Group com.barchart.version.tester
Version 1.0.7
Last update 08. April 2013
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies tester-one-api-consumer, tester-one-api-provider,
There are maybe transitive 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

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!

niosmtp from group me.normanmaurer.niosmtp (version 0.1.2)

niosmtp is an async based SMTP/LMTP client, which can be used to send an big amount of emails in a fast manner. The transport layer is decoupled from the protocol logic, this allows easy implementing of an other transport layer. Included is a NIO and OIO based transport layer build on top of netty.

Group: me.normanmaurer.niosmtp Artifact: niosmtp
Show all versions Show documentation Show source

0 downloads

Artifact niosmtp
Group me.normanmaurer.niosmtp
Version 0.1.2
Last update 27. July 2012
Organization not specified
URL https://github.com/normanmaurer/niosmtp
License Apache License, Version 2.0
Dependencies amount 3
Dependencies netty, slf4j-api, commons-codec,
There are maybe transitive dependencies!

struts-parent from group org.apache.struts (version 2)

The goal of the Apache Struts project is to encourage application architectures based on the "Model 2" approach, a variation of the classic Model-View-Controller (MVC) design paradigm. Under Model 2, a servlet (or equivalent) manages business logic execution, and presentation logic resides mainly in server pages.

Group: org.apache.struts Artifact: struts-parent
Show all versions

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

0 downloads

Artifact struts-parent
Group org.apache.struts
Version 2
Last update 06. May 2006
Organization not specified
URL http://struts.apache.org/
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 98 from 116 (items total 1159)