Old port of MicroPython to the ESP32 -- new port is at https://github.com/micropython/micropython - View it on GitHub