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