At $54, I wonder how popular the mbed can be. I always had the feeling mbed is not very relevant compared to other platforms, maybe pricing has a factor in that too.
How about STM32? Huge variety of possibilities, and the popular ones can be had for very cheap.