Pimoroni pico support library for ARDUINO IDE

I have installed the Pico RP2040 board support into my Arduino IDE.

Where do I obtain the Pimoroni Pico support library from?

In particular I would like the support routines for RGB Keypad, both the RGB led drivers and the Keypad driver.

Thanks

Peter

I don’t think your going to find much in the way of Arduino on Pimoroni’s Github etc.
It’s Python and Micro Python, and a little bit of Circuit Python.
They sell some Arduino stuff, but its not their specialty.