What are the other IDEs for Arduino?
There is an Arduino Eclipse plugin named sloeber! And Eclipse is an awesome cross-platform open-source IDE!

Stino is good. It requires Sublime Text 2 which has an indefinite free trial.

Visual Micro provides a full build system with debugger for Arduino in Microsoft Visual Studio. For advanced users it also allows the underlying Arduino source code to be viewed or modified, enabled projects and/or libraries to be edited from any location and shared in multiple projects alongside true cross-platform intellisense.

For more go to The Official Arduino Site 

For development on Windows, there is a special edition from Arduino official IDE called arduino-erw, This edition much better the last one because it fixed a lot of lagging and stability issues!