Next-gen container development platform, workspace server & cloud IDE
Cloud & Desktop IDE Platform
Develop, stage and test on-prem or in your private cloud
Launch an external diff tool like WinMerge in Eclipse
EditBox is the Eclipse plugin for source code background highlighting.
Literate programming for eclipse
a DSL for type systems, reduction rules, interpreters for Xtext langs
A Simple 'IDE'A for Linux Kernel Developers
Eclipse integration for Isabelle proof assistant
An Eclipse plug-in for the IBM FileNet P8 Content Engine and CMIS