GitHub repository: virtualmix/Arduino
Description: ESP8266 core for Arduino