Here is a list of all related documentation pages:

Getting Started
Learning FPGA Design
Micropython
Pinout Diagram
Using Pmods
Programming the iCE40
Programming the RP2040