rotary-encoder
This is a micropython raspberry pi pico encoder library.
Python module for the KY040 rotary encoder.