Raspberry Pi Pico

Datasheet

PIO: Raspberry Pi Pico’s PIO – programmable I/O! (youtube)

NuttX

OCD: On-Chip Debugger

Ada Language

Tutorials

Working with the Raspberry Pi Pico with Windows and C/C++

PIO

Projects