ProntoHex 
Arduino library to convert Pronto Hex infrared remote control codes 0000 ... from sites like http://irdb.tk to raw timings that can be sent with usual IR sending libraries, such as https://github.com/cyborg5/IRLib, https://github.com/shirriff/Arduino-IRremote or https://github.com/NicoHood/IRLremote