Energia —a fork of Arduino for the LaunchPads— now includes a library for the CC3000.

https://github.com/energia/Energia/tree/master/libraries/SimplelinkWifi

Worth paying a visit!