MicroPython driver for WS2812 RGB LEDs (WS2812B, AdaFruit NeoPixels, ...).