Micro:bit developer community 10 years ago
That used to be the case, but have a look at the new mbed exporters - you can now export to: uVision 4 uVision 5 DS-5 LPCXpresso IAR Embedded Workbench CooCox CoIDE Kinetis Design Studio Simplicity Studio Atmel Studio SW4STM32 Systems Workbench e2studio Emblocks
(taken from this recent post https://developer.mbed.org/blog/entry/Fixed-exporters-in-the... )
Which is a healthy start! There's an open source project for export to things that mbed uses: https://github.com/project-generator/project_generator
full disclosure: I am part of the mbed team