STM32F4

Using Arduino Microcontrollers
50

CooCox has a gcc-based solution.

Both IAR and Keil offer really good solutions, and in the case of IAR, the same IDE covers multiple mcus.