Free web tool: convert any IR format to/from Flipper .ir (Pronto, LIRC, BroadLink, Global Caché, GIRR, Harmony XML, Arduino, more)