GitHub repository: ryanorendorff/sbtb-2020-type-safe-fpga
Primary language: Haskell
Description: Using Depdentent and Affine Types for robust FPGA programming