Open-source boards designed in KiCad by imi415 on GitHub, from 3 repositories. A board’s address here is its repository’s there.
imi415/ice40ul_dk
ICE40UL1K CDPGA board.
imi415/UKey_STM32
An USB-key-like STM32 board.
imi415/epd_hat