WS2812 An efficient implementation of a driver for WS2811 class RGB LEDs designed to offload as much as possible to UDBs