Arduino IDE Links

http://www.arduino.cc/en/Main/Software
https://github.com/esp8266/Arduino
http://arduino.esp8266.com/package_esp8266com_index.json