Previously I have the same work with Arduino and run pretty well. The IR Remote library for Arduino is based on the work of Ken Shirriff codes, thanks to the hardwork of him. ... This library can be found here: http://z3t0.github.io/Arduino-IRremote/ . The detail description of how it works can be found here: http://www.righto.com/2009/08/multi-protocol-infrared-remote-library.html . ... The CC3200 will be programmed using Energia (it is a free IDE much like Arduino IDE, but only for Texas Instrument microcontroller, which can be downloaded here: http://energia.nu/download/).