I actually use Teensy. I found that the ESP32 and its whole WiFi stack (?) were slowing the device down. It's not bare-bones enough for many of my projects.