Source code is available on Github, as a fork of MicroPython repo as ESP32 support has not been upstreamed yet. We could built the firmware from source, but there’s also a pre-built binary which you can download on MicroPython website.
Web Link:https://www.espressif.com/en/support/download/other-tools
Web Link:http://micropython.org/download
#import os
#os.listdir()