This Raspberry Pi Pico W project displays a clock on two LED matrices and updates its time using the Internet.
This project uses the Arduino IDE (rather than MicroPython). In the board manager, install the "Raspberry Pi Pico/RP2040" board by Earle Philhower.