This is a micropython raspberry pi pico encoder library.
Python module for quickly interface a KY040 rotary encoder with Raspberry Pi and Micropython on ESP32.