Yes, I am still working on the cc3000 driver, almost everyday. The reality is that the cc3000 firmware has had too many bugs to work. Unfortunately, TI did not try to fix the issues until the Sparkcore guys started complaining. Even still there is a bug that combines UDP packets for which there is no workaround. I've been in contact with TI, and I've even had a call on the phone to discuss issues. I've had a variety of unreleased firmware builds in the last few months. Most of the changes where made to fix the ARP issue which impacted the sockets as well.
Having said all that. The last version DID fix a lot and I know another build is coming. So, the cc3000 is looking better. However, I am still working around issues. In the last week I rewrote the code to stop using the cc3000 Profiles because for some reason they can just stop working. And, I am testing a DNS lookup using UDP sockets because the built-in functionality seems to work unreliably.
But, when I get the cc3100 tomorrow, I'll probably focus more on that.