There are other examples in each submodule

official pico docs [pico-sdk][(https://www.raspberrypi.com/documentation/pico-sdk/examples_page.html)

pico examples repo:

sd card stuff:

can2040:

pico-arduino-compat demo