An Open-Source development board for the RP2040. It's designed to be compatible with both the MicroPython and CircuitPython firmware that are available for the Raspberry Pi Pico development boards.
Adafruit has a tutorial for using CircuitPython with the Pico board, but if you're just looking for a quick reference and code examples, their