There are 3 repositories under ice40 topic.
CaribouLite turns any 40-pin Raspberry-Pi into a Tx/Rx 6GHz SDR
FOSS architecture definitions of FPGA hardware useful for doing PnR device generation.
Examples for iCE40 UltraPlus FPGA: BRAM, SPRAM, SPI, flash, DSP and a working RISC-V implementation
New clean hdmi implementation for ulx3s, icestick, icoboard, arty7, colorlight i5 and blackicemx! With tmds encoding hacked down from dvi standard. Supports DDR and SRD tranfser!
Arduino compatible – Cortex M4F & FPGA Development Board
FPGA-based LPC bus sniffing tool for Lattice iCEstick Evaluation Kit
RealtimeIO for LinuxCNC based on an FPGA
Small Processing Unit 32: A compact RV32I CPU written in Verilog
Simple voltage glitcher implementation for the Lattice iCEstick Evaluation Kit
IP operations in verilog (simulation and implementation on ice40)
Fork of OpenVeriFla - FPGA debugging logic analyzer to use with your designs - examples (so far) for ice40/IceStorm
PCB combining Raspberry Pi Pico and iCE40 FPGA
Mostly AVR compatible FPGA soft-core
FPGA core for SHA256d mining targeting Lattice iCE40 devices.
Power analysis of the ICE40UP5K-SG48 devices
iCEstick iCE40-HX1K FPGA hacks ~ iCEfm FM Transmitter
A basic verilog driver for the TM1638 LED and key matrix chip
OV7670 camera, ST7735 screen and others on ice40 ultraplus fpga (breakout board)