From "Show HN: PicoVGA Library – VGA/TV Display on Raspberry Pi Pico" https://news.ycombinator.com/item?id=35120757 ; wokwi/rp2040js

> Wokwi > New Pi Pico + MicroPython project: https://wokwi.com/projects/new/micropython-pi-pico

And from https://news.ycombinator.com/item?id=36408561 :

> "Learn PWM signal using Wokwi Logic Analyzer" https://blog.wokwi.com/explore-pwm-with-logic-analyzer/

> Wokwi > New (Pi Pico w/ Micropython) LED project: https://wokwi.com/projects/300504213470839309

jupyter-micropython-upydevice: https://pypi.org/project/jupyter-micropython-upydevice/