The CAT Board is a Raspberry Pi HAT with a Lattice iCE40HX FPGA. - View it on GitHub