The mbed online compiler runs ARMCC - which is a commercial compiler. But mbed applications can be compiled locally using GCC, ARMCC and IAR.