ESP32でMicropythonが動いていますが、REPLで毎度コードをペーストするのも大変です。ファイルをESP32にダウンロードするツールがあるのではないかと探してみたら、uPyCraftというツールを見つけました。Introduct...