The ESP8266 Arduino Core is available through GitHub.
ESP8266 Arduino CoreはGitHubから入手可能である。