Recent
Yet Another Explanation of (State) Monad
… and how to create a small DSL with it.
A Reading Note of The Little Typer
Doing proofs in a small dependent type language.
Implementing an On-Chip Network Router Using Good Practices
NoC router from scratch.
What does HDLs Describe and Why Chisel is a Good HDL
We want an HDL that can describe the behavior of hardware while producing efficient circuit designs.
Implementing Primitives with Lambda
Using our interpreter to play with Currying, Nat, condition and recursion.