Here are all the links and resources used within the workshop, as well as some other useful links and information to help you to continue to explore IoT:
Documentation for the library installed with the Arduino ESP8266 plugin can be found at the ESP8266 Arduino reference.
Development options:
Some additional links: