How to setup Free and Open Source Software tools IceStorm, how to setup the programming for iCE40HX1K-EVB with OLIMEXINO-32U4:
https://olimex.wordpress.com/2016/06/30/getting-started-with-fpga-with-only-free-and-open-source-software-and-hardware-tools-tutorial/
Hello world, blink LED project in Verilog:
https://olimex.wordpress.com/2016/07/12/hello-world-with-verilog-on-ice40hx1k-evb-with-open-source-tool-icestorm/
VGA video generator and moving objects with PS2 keyboard:
https://olimex.wordpress.com/2016/07/13/fpga-tutorial-vga-video-generation-with-ice40hx1k-evb-ice40-io-in-verilog/