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...
The JSON Editor is a simple plugin for the Eclipse IDE that
Supports every eclipse flavor (JavaEE, CDT, RCP, you name it!)
Supports eclipse version 3.7 - 4.11.0 and most probably later...
Snipmatch is a snippet completion engine that gets its snippets directly from a remote code snippet repository hosted at eclipse.org. To search for snippets simply press Ctrl + Alt + Space inside t...
The majority of IDEs implement a concept of plug-in that nicely supports the integration of tools within the IDEs. Plug-ins dramatically simplify the structural integration of multiple tools, but p...
Note: this is the Java7 compatibility version of Protelis. If your installation is recent enough to use it, favor the standard (Java8+ version). This version may not work in Java 9 and newer enviro...
Plugin completes file name inside java editor. Also assists creating reg exp.
All features :
File name completion for expression like `new File("c:/")`
Open file from above expression in eclip...
This is quick way to install HTML Editor from Web Tools Platform project.
Currently Eclipse IDE for Java Developers is promoted download pinned to position #1.
A lot of Eclipse new users can f...
OUTDATED, see Enide Studio 2014
Enide Studio for Windows x64 & x32 is published on SourceForge. It is based on Eclipse Kepler Java/DSL and includes Nodeclipse 0.5 and other plugins for Node.js, ...
Edit class diagrams with your Eclipse IDE as needed. Get a light-weight but highly professional UML editor for class and package diagrams for your Eclipse IDE. With diagram export as svg, png, jpg,...
UML Lab provides truly agile modeling and coding with Eclipse. The tool integrates UML modeling with code generation and template-based reverse and round-trip engineering.
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...
Edit HTML, CSS, JavaScript, TypeScript (+ESLint), JSON (+schema), XML (+schema), YAML (+schema), with specialized support for Angular, React and Kubernetes, and debug Node.js and HTML+JS web-apps s...
Design and Verification Tools (DVT) is an integrated development environment (IDE) for the design and verification engineers working with SystemVerilog, Verilog, VHDL, e, UPF, CPF, SLN, PSS, SDL. I...
Intelligent XML Editor.
Oxygen XML Developer is the class leading tool dedicated to XML development, focusing on XML source editing, Schema design and XSLT editing/debugging. It offers powerful ...
Single-Source XML Authoring and Multi-Channel Publishing.
Oxygen XML Author sets new standards among content authoring tools, introducing many user-friendly authoring features and providing an e...
The Premier All-In-One XML Editing Suite.
Oxygen XML Editor is the best XML editor available and provides a comprehensive suite of XML authoring and development tools. It is designed to accommod...
Includes the HTML, CSS, and JSON Editors, and JavaScript Development Tools from the Eclipse Web Tools Platform project, aimed at supporting client-side web development and node.js applications. Als...
Enables Enterprise Java Bean, Java Enterprise Application, Fragments, and Connector, Java Web Application, JavaServer Faces (JSF), Java Server Pages (JSP), Java Servlet, Java Web Services, and Tag ...
Install on Eclipse IDE to get advanced Java code completions
Codota completes lines of code based on millions of open source Java programs and your context helping you code faster with fewe...
Cent is a view which allows the conversion of characters in an editor-document to either HTML entities (as &#xxx;) or java unicode (\uxxxx) representations.
Notice allows to add and store notes as plaintext, list or tables displayed as tabs in a view. Lists have one column, tables may have up to eight columns.
Corrosion enables Rust application development in the Eclipse IDE.
!!! A standalone Eclipse IDE for Rust Developers is also available for download !!!
Corrosion provides a rich and smart Rust...
AccuRate by RapidValue is a one-stop solution for test automation across various mobile platforms (iOS, Android, Mobile Web) and desktop browsers, in real-time. It provides rich feat...
Just a YAML editor.
Features:
Fast and small
Supports Go Templates (e.g. Helm charts) - see #76
Simple code completion for existing words
Replacing always tab keypress by space...
