I think you're thinking of the Pycom hardware. It's not quite as pricey as you referenced, but far more than the ESP32 based units. They also have a more formal

I think you're thinking of the Pycom hardware. It's not quite as pricey as you referenced, but far more than the ESP32 based units. They also have a more formal ecosystem around their products, so for some that may be worth the price delta. I own a few of their boards and they have been nice to work with for what I've used them for. https://pycom.io/solutions/hardware/ https://pycom.io/solutions/hardware/