Realtek RTL8720DN and RTL8721DM claim 5GHz wifi as well as 2.4GHz and BLE 5. Finding a decent dev-board for them is not easy. Seeedstudio's Wio Terminal is one of the few.

The ESP32 ecosystem, though, is much larger.