The Pixel runs MicroPython, a version of Python built specifically for embedded devices. Aside from the modules we provide, you can of course also use the built-in modules of MicroPython.
For example, you can use the
time module to sleep for a specific amount of time,
urequests for doing HTTP(S) requests, and
socket for raw networking.
Note that we’re using a specific port of ESP32 MicroPython, that has a slightly different API for low-level functions like pin control and RTC compared to normal MicroPython.