I've migrated a number of projects that didn't strictly require a Pi to ESP32/8266 and PandaBoard over the past few years. Depending on what you want to teach and how, there are lots of great SBCs to choose from.