We are the creators of Mongoose - the most popular networking library.
Mongoose supports HTTP, WebSocket, MQTT, CoAP, DNS, mDNS/DNS-SD (local device discovery) - both client and server mode. It works on top of SimpleLink and provides quite rich networking functionality.
Together with the port, we provide a CCS example for CC3200 (https://github.com/c...ples/CC3200/ccs) which illustrates remote device control (via RESTful) and real-time data feed (WebSocket).
We are looking for a feedback, and requests for ports to other devices.