MicroPython remote sets an LED’s brightness on an ESP32-DevKitC V4

# Remote-controlled LED: keys 0 to 3 on the remote set the brightness
# of the LED on GPIO 14, and every recognized key beeps the buzzer
# behind an S8050 on GPIO 13.
from machine import Pin, PWM
from nec import NEC
import time

remote = NEC(15)
led = PWM(Pin(14), freq=10000, duty=0)
buzzer = Pin(13, Pin.OUT, value=0)
levels = {0xff6897: 1, 0xff30cf: 100, 0xff18e7: 300, 0xff7a85: 1000}   # keys 0, 1, 2, 3

while True:
    code = remote.read()
    if code in levels:
        buzzer.value(1)
        time.sleep_ms(100)
        buzzer.value(0)
        led.duty(levels[code])
        print("brightness", levels[code])
    time.sleep_ms(20)

# nec.py: read an NEC infrared remote through a VS1838B-style receiver.
# The receiver's output idles high and goes low during each burst. A
# frame is a 9 ms burst, a 4.5 ms gap, then 32 bits, least significant
# first: a bit is a short burst and a short gap (0) or a long gap (1).
from machine import Pin
import time

class NEC:
    def __init__(self, gpio):
        self.pin = Pin(gpio, Pin.IN)
        self.edges = []
        self.last = 0
        self.code = None
        self.pin.irq(trigger=Pin.IRQ_FALLING, handler=self._edge)

    def _edge(self, pin):
        now = time.ticks_us()
        gap = time.ticks_diff(now, self.last)
        self.last = now
        if gap > 20000:                # a long quiet: a new frame starts
            self.edges = []
            return
        self.edges.append(gap)
        if len(self.edges) == 33:      # the header and 32 bits
            bits = 0
            for i, t in enumerate(self.edges[1:]):
                if t > 1700:           # 2.25 ms between edges is a 1
                    bits |= 1 << i
            self.code = bits
            self.edges = []

    def read(self):
        """The last frame as 0xff then the address and command, MSB first, or None."""
        bits, self.code = self.code, None
        if bits is None:
            return None
        command = (bits >> 16) & 0xff
        if command ^ ((bits >> 24) & 0xff) != 0xff:
            return None                 # the command and its inverse disagree
        # the way most tutorials print it: each byte bit-reversed, 0xff first
        return 0xff0000 | _reverse(command) << 8 | _reverse(command ^ 0xff)


def _reverse(byte):
    out = 0
    for i in range(8):
        out = out << 1 | (byte >> i) & 1
    return out