Seeeduino xiao UART IRDA support

for a project I need to control an Vishay IRDA tranceiver.
The other end is an ESP32 with the same tranceiver connected.
The ESP natively support the IRDA protocol on its UART.
How can I implement a IRDA encoder / decoder on the XIAO?
Any Arduino program samples anyone?
Thanks and best regards