mbed - Tool for Rapid Prototyping with Microcontrollers

The mbed Software Development Kit (SDK) is a C/C++ microcontroller software to write code for ARM microcontrollers. It provides enough hardware abstraction to be intuitive and concise, but powerful enough to build complex projects. It includes all the base level startup code, C runtime and library pre-integrated and tested for the target microcontrollers, and high-level MCU peripheral APIs that allow you to drive the peripherals of the microcontrollers without going near a datasheet.