I ported the half of the Arduino IRremote library to ESP8266 so now it is easy to send IR signals (the receive part is not ported so far).
The library is available here: https://github.com/markszabo/IRremoteESP8266/
Examples also included. If you find any bug or have a suggestion, please feel free to drop a comment here or just simply make a pull request
Best regards:
Mark