Comment GNAT Programming Studio (GPS) (Score 1) 1055
I use GPS available in the GNAT GPL packages at http://libre.adacore.com/libre/.
It supports Ada, C, C++, Python, SPARK, etc.
Its probably the best free IDE for Ada and SPARK, especially for use on large projects.