Christiaan Baaij's starred repositories
blinkenlights
The lights! They Blink! A hello world FPGA example using bazel fpga rules. The design is prescribed in Clash/Haskell, compiles to VHDL, then synthesizes to a bitstream for the Digilent Zybo Z7 FPGA dev board.
bazel_fpga_rules
Rules for performing tasks related to FPGA development in Bazel.
verilog-ethernet
Verilog Ethernet components for FPGA implementation
deepspeech
A PyTorch implementation of DeepSpeech and DeepSpeech2.
invalid-hole-fits
Suggesting substitutions that don't quite fit.
Haskell-FunctionOffloading
Proof of concept for a thesis on the offloading of Haskell functions onto an FPGA
clash-cosim
Co-simulation between CλaSH and standardized HDLs (only Verilog currently)
talk-2016-generic-fft
A talk on type-generic FFT in Haskell
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
uom-plugin
Units of measure as a GHC typechecker plugin