IDE

An IDE for modelling, verification of security protocols and automatic generation of Java implementation.

This is a simple, focused plugin that changes how you interact with the Eclipse Content Assist (autocomplete) window. It allows you to select the highlighted suggestion by pressing...

Liberty Tools for Eclipse IDE offers features for developing cloud-native Java applications with Open Liberty and WebSphere Liberty. Iterate fast with Liberty dev mode, code with...

Secure code as it is written (and generated). Real-time static analysis (SAST) and secrets scanning.

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...

With Xtext you can easily create your own programming languages and domain-specific languages (DSLs). The framework supports the development of language infrastructures including...

Simple Debugger is a lightweight Eclipse plugin developed as a personal pet project and first working version to explore Eclipse debugging APIs. It provides basic debugging...

The ESP-IDF Plugin for Eclipse (also known as Espressif-IDE) is based on Eclipse CDT and is used for developing applications on the ESP32. The ESP32 is a popular low-power system...

Sandbox is a collection of experimental Eclipse JDT cleanup plugins for automated code transformations and modernization. 🔧 INCLUDED CLEANUPS: • Encoding Quickfix - Replaces...

Adds a project-scoped action to apply a project's .env file to Java Application Run Configurations in Eclipse. Currently manual action only (no auto-apply).