This project provides a set of tools for the model checker NuSMV.
Following tools are contained, or will be contained in the near future:
Two metamodels based on the Eclipse Modeling Framewor...
Provides completion, validation and documentation features for Apache Camel URI elements in XML DSL.
Provides completion features for Apache Camel URI elements in Java DSL.
The Virtual Developer Cloud-Connector is a lightweight Eclipse plug-in that allows you to access code generators that run on the Virtual Developer Platform. This single plug-in suffices to use all ...
The leJOS NXJ Plug-in for Eclipse allows you to develop Java programs that on the LEGO Mindstorms NXT itself or that remove-control the NXT from the PC via Bluetooth or USB.
A working installation...
For the latest version, check Nodeclipse, Enide - Eclipse Node.js IDE and Enide Studio 2014 - Node.js, JavaScript and Java This was mirror for Nodeclipse update site, that had problem on May 30th ...
CodeMime is a set of Eclipse plug-ins for copying structured text to other formats, such as HTML, and making that text available on the system clipboard.
CodeMime is a fork of the cs4eclipse pro...
Prolog Development Tools (ProDT) is a Prolog Integrated Development Environment (IDE) aiming to be as rich in functionality as the Eclipse's java IDE, giving the developer a single environment...
<br/>
ABAP™ Eclipse Editor is an external ABAP™ editor for SAP® Web Application systems. <br/>
<br/>
<b><font color="green">The best of two worlds...</...
A small plugin to create ABAP favorites list for transactions and urls. Editing of entries now available.
It contains two views:
Favorites
Favorites Dev Objects
Favorites ...
ABAP Quick Fix plugin for ADT
Installation from Marketplace https://marketplace.eclipse.org/content/abap-quick-fix
Direct installation from http://abapblog.com/eclipse/plugin/ABAPFa...
Acceleo is a pragmatic implementation of the Object Management Group (OMG) MOF Model to Text Language (MTL) standard. You do not need to be an expert to start using the plug-ins and create your fir...
Anyone inheriting someone else’s Java code will be familiar with the problem of understanding how it’s been put together, how well structured it is and how best to take it forwards. Stepping throug...
AMPLDev is an Integrated Development Environment (IDE) for AMPL and SAMPL based on the Eclipse infrastructure.
It has,
A smart editor with context-sensitive syntax highlighting.
Effi...
Angular Eclipse is a set of plugins which provide support for Angular:
it is based on TypeScript IDE for TypeScript support.
it integrates angular-cli with Terminal, Wizards and Launches.
...
AngularJS Eclipse Plugin provides support for Angular 1. It extends Eclipse WTP to :
provides an HTML editor which supports AngularJS expression and directive. See HTML features for more info...
Contributes an ANTLR V4 grammar editor and builder to the Eclipse platform.
Features
Antlr Editor and Outline View – full syntax-directed editor
Grammar Formatter
Antlr elements...
XML Parsing using an ANTLR-based grammar specification. Create grammars to parse an XML document!
See http://javadude.com/tools/antxr/ for more details
Aptana Studio 3 Core holds the core set of plugins used to build the Aptana Studio 3 IDE/RCP. Currently it relies on consuming a pre-built FTP/FTPS/SFTP library as a dependency for building. This h...
Arden4Eclipse is an editor for writing Arden Syntax Medical Logic Modules (MLMs) in Eclipse.
It integrates Arden2ByteCode, an open source Arden Syntax compiler, so that Arden Syntax code can be ...
The ASN.1 Editor project provides an Eclipse editor plugin for the ASN.1 (Abstract Syntax Notation One) formal language.
It presents an outline page, syntax highlighting, compare view, content a...
The AspectJ Development Tools (AJDT) project provides Eclipse platform based tool support for AspectJ. Our goal is to deliver a user experience that is consistent with the Java Development Tools (J...
This plug-in from the Eclipse JDT UI team provides a view to visualize the AST (abstract syntax tree) of a Java file open in the editor. Navigate from text selection to AST nodes and from nodes to ...
ATL (ATL Transformation Language) is a model transformation language and toolkit. In the field of Model-Driven Engineering (MDE), ATL provides ways to produce a set of target models from a set of s...
Show file information for the active editor in the status bar.
Features
Show file encoding and line ending
Line ending (separator) support showing CRLF, CR, LF and Mixed, can also b...
