La librairie MBED est assez fournie, par contre in faudrait pouvoir faire ses développements OFFLINE.
Si ça te tente : eclipse for building and debugging - Cookbook | Mbed
C'est certainement très intéressant pour de gros projets. Le gros intérêt est de pouvoir disposer d'un debugger, absent d'ARDUINO.
Sinon si tu es sous Windows tu devrais essayer KEIL MDK-ARM en version gratuite jusqu'à 32Ko de code.
ALTERNATIVE
Si tu veux y aller progressivement et en douceur, sans trop de bobo, il y a aussi la solution STM32DUINO.
L'intérêt est de conserver l'immense diversité des librairies ARDUINO tout en évitant la complexité du développement STM32.
J'ai récemment écrit un petit tuto sur le sujet :
@+