I've found that there is Xilinx based Colorlight i9+ SODIMM module, pinout compatible with Lattice based SODIMM-200 modules.
Extension board (which provides breakout for USB, HDMI and a lot of PMODs) is compatible with all three of them.
Open source toolchain is working for all three of them as well.
Colorlight i9 Plus - 65 EUR
Xilinx Artix 7
XC7A50T 52K logic cells (actually, 32600 LUT6s or 65200 LUT5s + 65200 FFs)
Module contains 8MB sdram and 16MB spi flash.
Colorlight i9 - 53 EUR
Lattice ECP5
FPGA LFE5U-45F-6BG381C 44K LUT
Module contains 8MB sdram and 8MB spi flash.
Colorlight i5 - 15 EUR
Lattice ECP5
LFE5U-25F-6BG381C 24K LUT
Module contains 8MB sdram and 2MB spi flash.
All three boards have dual ethernet PHI. Useless for theremins?
Each phi has two differential inputs and two outputs (transformers?)
Cannot we connect AFE here?
These three boards are competing to similar form factor Ice Sugar Pro board.
Ice Sugar Pro - 55 EUR
Lattice ECP5
LFE5U-25F-6BG256C 24K LUTs
Module contains 32MB sdram and 32MB spi flash.
Unlike Colorlight, has on-board USB connector and IceLink programmer (CDC serial port and JTAG) and SD card.
Connector pinout looks pretty similar to Colorlight - probably they are compatible.
Github link for IceSugar Pro
IceSugar is fully open source. Colorlight have only pinouts reverse engineered.
I think, if SODIMM200 form factor of FPGA module is selected for the project it's possible to use ICESugar Pro for development, and then cheap Colorlight i5 for production...
Artix XC7A50T FPGA has actually a lot of resources, enough for any crazy digital theremin design.