GitHub repository: tianrking/Rotary_encoder
Description: Read a rotary encoder for the Raspberry Pi Pico using PIO code