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
Small Processing Unit 32: A compact RV32I CPU written in Verilog
RealtimeIO for LinuxCNC based on an FPGA
Simple voltage glitcher implementation for the Lattice iCEstick Evaluation Kit
IP operations in verilog (simulation and implementation on ice40)
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)