There are more! The ULX3S [0] offers the ECP5 in three different sizes in up to 84K LUTs, plus it has an onboard ESP32. Fully open source with plenty of projects and examples built around it [1].

[0] https://www.crowdsupply.com/radiona/ulx3s

[1] https://ulx3s.github.io/