Examples (LED blinky and VGA + PS/2) for the Lattice iCE40-HX1K FPGA board from Olimex WWW: https://github.com/OLIMEX/iCE40HX1K-EVB