tiny_ir A tiny micropythin library for sending (and receiving) over IR, useful for making IR remotes and such. Made for/tested with ESP32, should be broadly comaptible with anything running micropython.