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].
I was going to point this out too, but I'm frankly not sure how well the opensource toolchains actually work on these chips. I spent a number of hours a year or two back trying to figure out how to talk to the high speed serdes, and failed miserably.
But for the kinds of use cases one gets out of an ICE40, it seems the ECP5 devices are going to be pretty solid choices with the open source tool chains. Ex, lots more LUTs talking to slow devices/GPIO pins.
I am a fan of these boards, i believe the economy of scale is propped up by the LED billboard industry
I only know of the evaluation board from Lattice [0] and the OrangeCrab board [1], but there are probably more.
[0]: https://www.latticesemi.com/products/developmentboardsandkit...
[1]: https://orangecrab-fpga.github.io/orangecrab-hardware/