Yes, the runtime is actually built on ARM's mbed, which means their online IDE can also build micro:bit programs :)