Olimex have an ICE40HX8K FPGA board. This has a 34-bit GPIO header. It should be possible to wire that header to the 26 data pins on the Neotron Pico's CPU header (where the Raspberry Pi Pico plugs in), and to then load the FPGA with a RISC-V soft-core with VGA output. Something like SB32 might work.
Olimex have an ICE40HX8K FPGA board. This has a 34-bit GPIO header. It should be possible to wire that header to the 26 data pins on the Neotron Pico's CPU header (where the Raspberry Pi Pico plugs in), and to then load the FPGA with a RISC-V soft-core with VGA output. Something like SB32 might work.