My interests include digital hardware design, signal processing and functional programming.
A software defined radio library written mostly in Haskell.
A collection of hardware designs/algorithms written in Clash
Reactive synthesis competition entry
Winner of the sequential realizability track of the 2014, 2015 and 2016 reactive synthesis competitions.
A library for drawing graphs in real time using OpenGL.