Codebender

(Bummer, Codebender is shutting down as of November 31, 2016)

This online IDE is meant for Arduino boards.

Supported boards include

SparkFun RedBoard

SparkFun Pro Micro 5V

SparkFun Pro Micro 3.3V