I don’t think anything exists yet. I don’t know if this RF code could be used or adapted to work with IR: Rf 434 mhz transmitter and receiver.
Probably your best bet is to find an existing library that will work with Arduino IDE and try to get a XOD wrapper for it.