I have now got an Arduino Nano ESP32 board, and I have a version of ESP32 uLisp working on it.
However, I cannot recommend this board because I’ve verified that it has the same issue as I reported with other ESP32-S3 boards that use the built-in USB interface (USB CDC); see:
The problem causes the Serial interface on these boards to hang up if you try to upload a long Lisp program. I’ve reported it to Espressif; see:
@SuGlider has commented that this issue should be fixed in a forthcoming release 3.0.0 of the core.
In the meantime I suggest using one of the ESP32-S2 boards, as these don’t have this problem. For example:
Alternatively, if you need the ESP32-S3, select an ESP32-S3 board with a UART, and use the UART connection: