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...
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...
The open source IFML editor is a modeling editor to try all the benefits of the modeling language "Interaction Flow Modeling Language" (IFML), OMG standard. It is domain-independent and integrated ...
The PHP pack for CodeMix 3 brings the best extensions for PHP from VS Code directly into Eclipse. From smarter editing to integrated debugging, CodeMix with PHP can work seamlessly with your existi...
The Groovy Development Tools (GDT) provides Eclipse and Maven (m2e) support for the Apache Groovy programming language. GDT adds full-featured IDE support including editors, wizards, content assist...
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...
Closure IDE is a JavaScript IDE powered by Google Closure Tools.
Closure IDE includes full-featured JavaScript Editor, extensive JSDoc support, validation, building and code minification tools u...
Xtend is a statically-typed programming languages for Java developers.
It leverages Java's typesystem and reuses its syntax as far as possible, but cuts down the amount of boilerplate you ha...
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...
