Search Results for "integrate" - Page 4

Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework. Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse

Infix is a group of Apache Maven plug-ins developed to aid in build and release management with Maven. It includes plug-ins to integrate NSIS and JSmooth with Maven.

...Thus, this adapter you allow to connect most monitoring tools (like Nagios and Cacti) to your Java applications. For each MBean, an XML mapping file allows to establish the relationships between attributes and the MIB of the SNMP adapter. No additional code is necessary to integrate the MBeans in the SNMP protocol. This adapter can work in a multi-applications environment (such as application servers).

...Simple beans are standard pojo classes managed by your application using JPA semantics. Framework generated pojos use the DAL4j framework DAO generic to simplify CRUD operations. DAL4j provides optional hooks to allow you to integrate encryption/decryption of data field used when data is encrypted in the database. Last, DAL4j provides a set of Generic classes that can be used to simplify creation of J2E Session Beans which perform CRUD operations using generated Entities

...The main component is experiment, so students could run these experiments using RELATED facilities as painting data from the laboratory, change any relevant variable or take a look on laboratory structure. In order to integrate a laboratory as an RLAB system, the researchers and lecturers only have to develop local access to equipment using Java technology, using the “module” paradigm.

iLastic is an open-source framework to query, integrate and manipulate any type of data in English. Extract, transform and merge information from the web, databases, files or any other data repository using a language you already know... English

This project attemps to integrate the Eclipse CDT C/C++ IDE and the Splint static checker.

TIniFile is for Java developers to manipulate 'ini-like' files which work like this: [Section] Key=Value. It's easy to integrate it into a Java project. It has set and get functions for String, Integer, Double and boolean values.The development process began in 2005, so I think that Version 1.4 runs stable. It comes with the Java source code and an example.

CesTa (Code Enhancing Security Transformation and Analysis) is a tool for enhancing security by program transformations. Focused on Smart Cards (Java Card in particular), powered by Ant, ANTLR and StringTemplates.

A Java library for your BlackBerry applications to integrate with Facebook using OAuth 2.0 and Graph API.

JACo Gallery is a cross platform java image/photo gallery. Features: automatic thumbnails, resizing, automatic initialization from XML files and very easy to use in your java applications as a normal component or in web pages as java applet.

Implementation of a generic command pattern. This makes it possible to integrate different libraries independently and easy.

JavaEmailer is a Java Classes Library that allows Java developers to easily integrate a mass mailer to their applications. JavaEmailer manages file attachments, SMTP servers, CCs, BCCs, plain text and/or html messages, and more...

The HELIOS project's goal is to provide an Open Source Application Lifecycle Management (ALM) portal platform allowing to test, integrate, configure and maintain all software of a system through application dashboards.

JACo MP3 Player is a cross platform java mp3 player. Features: very low CPU usage (~2%), incredible small library (~90KB), doesn't need JMF, easy to integrate in any application, easy to integrate in any web page (as applet).

Tie is a simple method interception library for Java. It is based on the AOP Alliance interfaces, and is quick and easy to integrate into an application

dlite is a small footprint description logic reasoner. The purpose of this project is to allow developers to easily integrate the description logic reasoning technology in their applications in order to characterize and classify complex system states.

PHP Tool Integrations aim is to integrate usefull php tools such as PHP CodeSniffer, PHPUnit and PHP Depend into Eclipse.

Web 2.0 Automated Company in a Box To build the most advanced service processing platform that will integrate and automate open source projects to deliver superior business value

The project Intergeo co-funded by the Community programme eContentplus develops an open-source library for the common file format it defines to allow developers of dynamic geometry systems to quickly integrate read support for such files.

The project is a IoC and AOP java Container.<br> 1 it is very lightweight, just one litter jar.<br> 2 Support IoC and AOP.<br> 3 Support SOA in JVM.<br> 4 Can integrate with the SpringFramework.<br>

Ant-Doxygen is an Ant task for doxygen, a document generating tool available at www.doxygen.org . Users can integrate doxygen related code with ant task file - build.xml .

Integration tool to manage medium-size projects including versioning, automatic tests, project planning, bugtracking, etc. It is an extensible piece of software which allow you to integrate different tools that already exists like ant, clover, etc...

Java library that allows to integrate telnet to apps by taking care of the underlying telnet plumbing and delegating the business logic to the containing app through a simple API. Features include syntax coloring, custom commands, autocomplete, history.

Runes is a plugin-based framework that reverses the way of thinking about data processing: specify data accesses, and Runes will automatically choose an efficient representation for the data and execute the plugins to integrate it from different sources.