If you’re looking for an ESP32-S3 board I recommend Waveshare’s ESP32-S3-Pico board:
This low cost compact board provides a CH343 USB-to-serial chip and a CH334 USB hub to provide access to two USB ports from the single USB-C connector, thus avoiding the buffer problems that affect boards that rely on the built-in USB CDC to provide a serial interface.
It provides 16 Mbytes of flash and 2 Mbytes of PSRAM, allowing you to run uLisp with 250,000 objects.
For full details see: Waveshare ESP32-S3-Pico.
Available from Waveshare: ESP32-S3-Pico.
or from The Pi-Hut in the UK: ESP32-S3-Pico.