This library enables you to use ISR-based PWM channels on RP2040-based boards with arduino-pico core to create and output PWM any GPIO pin. The most important feature is they're ISR-based PWM channels, supporting lower PWM frequencies with suitable accuracy. - View it on GitHub