Search Results for "common"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

Provides a ClearCase plug-in for the eclipse development environment. The plug-in Require a ClearCase client installed. We welcome feedback from end-user to make the plug-in more user-friendly. Release info will be published on release mailing-list. Version 2.2.36 --> requires java 1.7 or higher. Version 2.2.42 --> requires java 1.8 or higher.

People joke about what IDE they use often, things like Word, MS Notepad, sometimes even Eclipse, and then often times MS Paint. People joke about MS Paint because it's not even a text editor, people joke about it because it doesn't have one feature in common with IDEs. Well, this application gives MS Paint a boost, and lets MS Paint highlight, compile, and execute code, with just a few clicks of a button, and only text coming from MS Paint. It is now much more practical than things like Word, Notepad, and obviously Eclipse.

Eclipse Version Tree Plugin is an easy to use, graphical version tree for project artifacts hosted in a CVS repository. It is a graphical replacment for Eclipse resource history. Supports different layout styles, customization and convenience features. The development is being continued on GitHub https://github.com/angvoz/net.sf.versiontree

**NOTE**: As of 2017-Sep-14, this project was **moved to [github](https://github.com/15knots/cmakeed)**. Please file any issues there. ----- Eclipse plug-in for editing CMake files such as CMakeLists.txt. Provides syntax coloring, CMake command content assist, and the CMake command reference incorporated into the Eclipse help system. Requires Java 5 or higher and Eclipse 3.4 or higher.

We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

Provides an ANTLR plugin (including grammar file editor with outline page and project nature with incremental builder) for the Eclipse platform

Please go to the project's website to learn more about it. You can get to it from the Project menu above or go directly to http://eclipsewiki.sourceforge.net/ Please note that the plugin requires that you run Eclipse under Java 5

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

Set of hints and refactor features for Java language in NetBeans IDE

EclipseNSIS is a plugin for the Eclipse platform which enables editing, compiling and testing Nullsoft Installer (NSIS) scripts. The InstallOptions Editor plugin is for editing of InstallOptions files. (Requires Eclipse GEF http://www.eclipse.org/gef)

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.

EPIC is an open source Perl IDE for the Eclipse platform. Features supported are syntax highlighting, on the fly syntax check, content assist, perldoc support, source formatter, templating support, regular expression plugin and a Perl debugger.

A collection of Eclipse plug-ins that extend the CDT (C/C++ Development Tooling) component of Eclipse. These plugins are generally experimental and/or for specialized purposes.

PHP - Support for the Eclipse IDE Framework ( www.eclipse.org ). Some Features are PHP parser, debugger, code formatter, outline view, templates...(Programming Language: Java)

An Eclipse plugin to develop haXe applications.

ASDT is a set of plug-ins for the Eclipse Platform that enable you to write ActionScript2 code in an integrated environment. You can find the development site at http://axdt.org Use the update site to install http://aseclipseplugin.sf.net/updates/

Java Source editing framework. Starting from common model for source editing, it will end up as an implementation of advanced source editor under various legacy platforms. Will be implemented as platform plug-in/add-on.

Source Attacher - Eclipse plugin capable of attaching sources to opened classes automatically from specified library directory. Repository Search - Web application compatible with Source Attacher. Is capable of downloading Maven repository indexes.

Plugin for Eclipse that provides sophisticated CSS editing funcionality.

UI Widgets, Theme, plugins that will help you build SWT/JFace/RCP applications.

The Ruby Development Tool is a Ruby IDE, composed of Ruby aware features/plugins for the Eclipse platform.

SIDE 1.0 is a powerful IDE for development of applications and programass under the language to assembly, c, c++, oriented to the ease of use, and all those option that an excellent IDE offers, works with GCC compiler and debbuger

Eclipse plugin: configurable decorator for icons and labels. Can be adjusted to decorate icons and text depending on (regexp) substring matching on certain nodes in tree views (Package Explorer, Navigator,...). Works with Eclipse 2.1 or later.

A tool to help java developers define classpath references in the Eclipse IDE. Extends the statndard autocompletion and import system, to allow autoinclusion of classes that are completely missing from the current classpath.