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...
NskDdl - NonStop DDL for ECLIPSE Key Features:
Key Features and Benefits
Familiar language syntax supporting the heritage DDL language.
C, COBOL, TAL, pTAL, FUP, and Ddl2java definition s...
Eclipse Vorto IoT Plugins comprise Vorto DSL Editors that lets device manufacturers describe device capabilities.
The DSL Editors are based on the Eclipse Xtext project providing autocompl...
The Orc programing language is a novel language for distributed and concurrent programming which provides uniform access to computational services, including distributed communication and data mani...
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...
Note: this is the in-development version of Protelis. It may include early features that are not compatible with previous versions of the interpreter, bugs, or both. Prefer the stable version for p...
Jspresso Developer Studio Translation helps you to manage your resource bundles internationalisation (i18n) property files by editing them directly from within your java editor !
Just select any...
PyDev is a plugin that enables Eclipse to be used as a Python IDE (supporting also Jython and IronPython). It uses advanced type inference techniques which allow it to provide things such as code c...
Updated! Integrate anything from Vue to React in your daily development. eLearning courses right inside your IDE get you going fast.
Replaces & enhances JavaScript, HTML and CSS developme...
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...
Plugin adding Markdown text-editing support to Eclipse. Makes editing text files in Eclipse a lot better. Markdown is a simple and intuitive text format syntax that lets you get rich formatting wit...
The Scala IDE for Eclipse is centered around seamless integration with the Eclipse Java tools, providing many of the features Eclipse users have come to expect including,
Support for mixed ...
Eclipse CDT (C/C++ Development Tooling) http://eclipse.org/cdt/ is top level project of Eclipse Foundation. Get it as standalone Eclipse IDE for C/C++ Developers from http://www.eclipse.org/downloa...
March 2019: nodeclipse.org will not be available,
use https://nodeclipse.github.io
Nodeclipse Core & Node.js (nodeclipse-1) is Eclipse plugin for the Node.js. The purpose of Nodeclipse is t...
Eclipse plugin for editing Java resource bundles. Lets you manage all localized .properties files in one screen. Some features: sorted keys, warning icons on missing keys/values, conversion to/from...
Bytecode Outline plugin shows disassembled bytecode of current java editor or class file, allows bytecode compare for java/class files and shows ASMifier code for current bytecode. Have you already...
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...
Yes, it is the longest name on Marketplace. Beating "IBM® WebSphere® Application Server V8.5 Liberty Profile Developer Tools for Eclipse Helios & Indigo". Included in Color ID...
An eclipse plugin for Cucumber .
New Feature list in the version available from the update site:
Lambda Expression support for Cucumber-Java8
Content Assistance for feature fi...
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...
A fork of the QuickRex Plugin from Bastian Bergdorf at SourceForge (http://sourceforge.net/projects/quickrex/).
QuickREx is a regular-expression plugin for Eclipse. It features on-the-fly evalut...
With Xtext you can easily create your own programming languages and domain-specific languages (DSLs). The framework supports the development of language infrastructures including compilers and inte...
tern.js is a stand-alone code-analysis engine for JavaScript written in Javascript. tern.java provides the capability to use tern.js in Java context by using node.js server. Tern Eclipse IDE is Ecl...
JSHint integration for the Eclipse IDE. Maintained by Ralf Sternberg, EclipseSource.
For version history check https://github.com/eclipsesource/jshint-eclipse/releases
You can update from c...
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.
...
