pico-arduino
Of cause you can use the
Standard Pico API
in your sketch. Here is an example using the watchdog.