MuniHac 2020 Workshop: Christiaan Baaij - Building a RISC-V SoC with Haskell and Python
Linear types for circuit design in Haskell/Clash
Big Techday 23 & MuniHac 2023: Haskell at the Heart of Terabit Laser Communication [EN] - C. Baaij
MuniHac 2020 Workshop: Andres Löh - Liquid Haskell
MuniHac 2020 Workshop: Michael Sperber - Control your Effects
MuniHac 2016: Hakyll
MuniHac 2020: Neil Mitchell - Migrating HLint to the GHC API
Keynote: Haskell to Hardware compiler Theory & Practice | Christiaan Baaij | Lambda Days 2022
MuniHac 2020 Workshop: Pepe Iborra - Let's write a Haskell Language Server Plugin
MuniHac 2020: Austin Huang - Hasktorch: Differentiable Functional Programming in Haskell
MuniHac 2020: Richard Eisenberg - Partial Type Constructors
MuniHac 2020: Duncan Coutts - Contravariant Logging: How to add logging without getting grumpy
Describing Microservices using Modern Haskell (Experience Report) Haskell 2020
Baaij Fresh Automatiseren
Clash: Haskell as an HDL - Martijn Bastiaan - ORConf 2018
[HIW'22] Haskell Playground (WIP)
L04_a - Introduction to RISC V
Litex Soc and Litex demo app