GitHub repository: lucysrausch/colorlight-led-cube
Primary language: Coq
Description: 64x64 LED Cube based on the Colorlight 5a-75B LED driver board.