The team responsible for creating and maintaining the micro:bit runtime
Getting started with the micro:bit and mbed¶
Lancaster Univeristy developed the DAL that helps you use the hardware in the BBC micro:bit.
The micro:bit mbed platform page is here:
You need to choose "Add to your Compiler" on the right hand side.
There are a range of example programs available at https://developer.mbed.org/teams/microbit/