The Energia IDE comes with a Temboo library bundled into it, allowing any connected LaunchPad that is programmed in Energia to be programmed with Temboo Choreos. No additional Temboo library downloads are necessary--the library integration in Energia brings out-of-the-box Temboo support to connected LaunchPads.