Search Results for "void linux based" - Page 2

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...

ECM Developer is an Eclipse plug-in aimed at supporting the development of applications using the IBM FileNet P8 Content Engine or CMIS compliant repositories. The basic features are browsing, creating, comparing and modifying objects. Searches can be designed using a graphical query editor fully integrated in the Eclipse IDE. Documents can be tracked within the Eclipse IDE enabling fast updates of the content. More advanced features are building UML diagrams based on the class...

LilyPond editor based on JEdit, implemented as a JEdit plugin. It is an edit mode and a feature rich plug-in, which provides tools for making LilyPond scores. Features include instant completion, error report, PDF preview.

wxDev-C++ is an opensource wxWidgets Dialog designer that mimics the Delphi/Borland C++ Builder designer.

EzTrans is Java-based GUI tool for HTML5 authoring Drag & Drop and you can easily create a HTML5 page.

Using encryption to secure your code or text. Click File->Run to run your code using Ruby, see the pop up for output. Never save your text or code to disk unencrypted. Don't forget your password. Encryption is error-persistent.

LunarEclipse will provide an eclipse based IDE for the Lua programming language. Starting point is an editor with support for syntax highlighting, content folding and parsing. More features will follow...

This project will add support for editing Oracle PL/SQL objects right inside the NetBeans IDE, including syntax highlighting, code folding and indentation. See Wiki for more information.

ePen - A cross platform tool for creative writers and book authors. ePen is able to manage all information around a book project: The actual text, descriptions of the characters and scenes, the storyline.

Konfidi is a trust framework that uses topical trust values from a social network of authenticated people. When you receive an email from someone you do not know, but he/she is in the network, Konfidi will compute an inferred trust value for you.

A set of Eclipse plugins for the Scheme programming language. Features a powerful, fully extensible S-expression-based editor. Integrates seamlessly with any Scheme interpreter.

Open-jACOB is a rapid application development tool base on Eclipse that enables the development of RichInternetApplications that are based entirely on Java. Open-jACOB application can be deployed as a stand alone app's in a Web container like Tomcat.

Edition Production and Presentation Technology (EPPT)

A CSV editor plugin for Eclipse which edits CSV files visually and through source text.

A fully SWT integrated WYSIWYG HTML editing widget for Eclipse Platform based on Mozilla Editor

Lack of Progress Bar (Lopb) is an Eclipse plugin that tracks how long developers wait for file check-ins/outs, code compilation, publishing apps to a web server, and other IDE background jobs to complete. Read more at http://lopb.org

SfDT is a Eclipse plugin for the Symfony Framework. It provides a toolset for easier, faster and better developing process based on symfony framework.

Provides support for editing RELAX NG documents in the Eclipse IDE. Integrates with standard WST XML editor to provide content completion and validation of edited XML file based on it's RELAX NG schema.

Modula-2 IDE based on Eclipse.

The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

XPontus , a free java based, Open Source XML Editor

A SWING based console for Jython. Console will be a commandline Jython interface with code completion and history. This will be a standalone application with facility to load and run scripts.

WSMO Studio is a Semantic Web Service and Semantic Business Process modelling environment based on the Web Services Modelling Ontology (WSMO). WSMO Studio is available as a set of Eclipse plug-ins that can be extended and customised by 3rd parties.

The Eclipse plug-in XPairtise provides a platform for distributed pair programming. This plug-in offers shared editing, project synchronization, shared program and test execution, user management, built-in chat communication and a shared whiteboard.