Claudio,
mbed applications can be compiled using IAR, ARM, and GCC_ARM toolchains. Are you desiring to work offline instead of using the online compiler? If so, check out mbed-cli: https://github.com/ARMmbed/mbed-cli
We currently only support the mbed environment for the Dot devices. We provide versions of the Dot Libraries for use with ARM and GCC_ARM toolchains.
Hope this helps!
Cheers,
Mike