picod (pypi): Raspberry Pi pico module
Keywords: gpio|i2c|serial|spi|pwm|servo