MicroPython IR remote on a Pico: print each button’s code

# The kit's remote and an IR receiver on GP15: each button's NEC frame is
# decoded and printed as a hex code. ir_nec.py, in the next tab, times the
# receiver's pulses.
from ir_nec import NEC, code

remote = NEC(15)
print("Point the remote and press a button")

while True:
    frame = remote.read()
    if frame == "repeat":
        print("repeat")
    elif frame is not None:
        print("code 0x%06X" % code(frame))

# ir_nec.py: read an NEC infrared remote from a receiver's output.
# The receiver pulls its output low while it sees the remote's 38 kHz light.
# A frame is a 9 ms low leader, a 4.5 ms gap, then 32 bits, each a 0.56 ms
# low followed by a short (0) or long (1) high. A held button repeats with a
# 2.25 ms gap and no bits.
from machine import Pin, time_pulse_us

class NEC:
    def __init__(self, pin):
        self.pin = Pin(pin, Pin.IN, Pin.PULL_UP)

    def read(self, wait_us=200000):
        """A frame's 32 bits (first bit lowest), 'repeat', or None."""
        if time_pulse_us(self.pin, 0, wait_us) < 8000:
            return None
        gap = time_pulse_us(self.pin, 1, 6000)
        if gap < 0:
            return None
        if gap < 3000:
            return "repeat"
        bits = 0
        for i in range(32):
            if time_pulse_us(self.pin, 0, 2000) < 0:
                return None
            high = time_pulse_us(self.pin, 1, 3000)
            if high < 0:
                return None
            if high > 1000:
                bits |= 1 << i
        return bits

def reverse8(b):
    out = 0
    for _ in range(8):
        out = (out << 1) | (b & 1)
        b >>= 1
    return out

def code(bits):
    """A frame as the familiar 0xFF.... code: the bits read in arrival order."""
    command = (bits >> 16) & 0xFF
    return 0xFF0000 | (reverse8(command) << 8) | reverse8(command ^ 0xFF)