Port of the Arduino/Wiring libraries to the LPC13xx