There is no source code either for the WiFi stuff in the ESP8266.
Also, some of the SSL support is in the closed-source firmware, and it's incompatible with Mozilla's 'Modern Compatibility' ciphersuite list.
I used the ESP8266 anyway - it's not ideal, but for my application it was the best thing available. There's room for improvement, though.