Download JAR files tagged by available with all dependencies

scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.

This library is the the backend for the Fitzhì solution. Fitzhì aims to gather all technical data regarding your application portfolio into ONE single portal. Fitzhì provides also analysis and assessments at the project scope, but its main target is the portfolio. The main ambition is to provide a global, and dynamic vision of the technical risk for your IT. The dream functionality for Fitzhì should be the ONE single dashboard, one Single Point Point Of Quality, available for the CTO, or CIO, and ready to resume in one second, one view, the current situation and the historic trend.

A Java component which displays bytes in Hex- and ASCII-format. The component is designed as a standalone lib. A complete interface which provides the function of an HexEditor based on this lib exisits under the Fork of this project. \r\n This library is simply taken directly from sourceforge at https://sourceforge.net/projects/hexlib/ and made it available in maven central repository. No other changes have been made (including keeping the same license).

This library is the the backend for the Fitzhì solution. Fitzhì aims to gather all technical data regarding your application portfolio into ONE single portal. Fitzhì provides also analysis and assessments at the project scope, but its main target is the portfolio. The main ambition is to provide a global, and dynamic vision of the technical risk for your IT. The dream functionality for Fitzhì should be the ONE single dashboard, one Single Point Point Of Quality, available for the CTO, or CIO, and ready to resume in one second, one view, the current situation and the historic trend.

With distributed systems being developed as a part of the cloud age. With focus on performance associated with an application dependent on one DB instance, there is a need to bring down the dependency to a database to generate unique numbers for creating a private key when lots of data needs to be stored in the database tables. This library is intended to provide a way of generating unique numbers on the fly in a JAVA based distributed system. This is not a new concept but this library helps in keeping you focused on the business logic that you need to develop for your applications rather than spending time on how this is done. Typically applications powered by RDBMS can leverage the benefit as instant scalability might not be available for these setups when the load to the system spikes.

This is client side library for forker, and the one you most likely want to use in your own applications. It provides the ProcessBuilder replacement, ForkerBuilder, as well the helpers in OSCommand. ForkerBuilder is capable of launching processes using non-blocking I/O or attached to a PTY. It has many additional features not available in the standard process builder including permission elevation, daemonize, processor affinity and more. Parts of the non-blocking API are based on NuProcess (https://github.com/brettwooldridge/NuProcess)

The Zello Channels SDK allows you to integrate Zello push-to-talk into your own application. The SDK communicates with a Zello server over a web socket connection using a JSON-based protocol, and offers a simple API to send and receive audio, images, and text over Zello channels. Supported features include: Send voice messages from the device microphone Play incoming voice messages through the device speaker Send voice messages from your own audio code, e.g. from a file Receive voice message data with your own audio code with optional pass-through to the device speaker Send and recieve text messages Send and receive images Send the device's current location, and receive location messages from other users The protocol specification is also available if you prefer to develop your own client in-house.

The Systems Biology Simulation Core Library provides an efficient and exhaustive Java™ implementation of methods to interpret the content of models encoded in the Systems Biology Markup Language (SBML) and its numerical solution. This library is based on the JSBML project. It can be used on every operating system for which a Java Virtual Machine is available. Version 2.0 and beyond support simulation in three frameworks: constraint-based analysis, stochastic simulation, and ordinary differential equation systems. SBSCL supports SED-ML and COMBINE archives in OMEX format.

The main module contains the GeoTools public interfaces that are used by other GeoTools modules (and GeoTools applications). Where possible we make use industry standard terms as provided by OGC and ISO standards. The formal GeoTools public api consists of gt-metadata, jts and the gt-main module. The main module contains the default implementations that are available provided to other GeoTools modules using our factory system. Factories are obtained from an appropriate FactoryFinder, giving applications a chance configure the factory used using the Factory Hints facilities. FilterFactory ff = CommonFactoryFinder.getFilterFactory(); Expression expr = ff.add( expression1, expression2 ); If you find yourself using implementation specific classes chances are you doing it wrong: Expression expr = new AddImpl( expression1, expressiom2 );

A very simple, no-dependencies drawing API providing some primitive operations including lines, rectangles, circles, ellipses, arcs. It doesn't actually draw TO anything, you must provide your own implementation of Backing to actually paint the pixels. This project is intended for use with Snake, my project for Razer devices on Linux, but is made available in case others may find it useful. It doesn't have anything fancy like anti-alias, transformations or even line widths, contributions welcome though!