Simple and Powerful Latex Editor
A command for dreamweaver to automatically generate getters/setters
Cloud-based Integrated Development Enviroment
JetBrains Meta programming System
Eclipse integration for Isabelle proof assistant
Project handler for SciTE