Found a link to this library in the documentation. For esp32/8266 it says. Haven't tried it myself.

https://github.com/crankyoldgit/IRremoteESP8266