The IDE is a webapp (!), no downloads required to get hacking. That being said, it is possible to use other tool chains, such as gcc or µVision, but we haven't focused on that in the tutorials.
