As most of my work unfortuanately has been closed source (😔) this is still a rather limited list.
- CapeVM The sources for my PhD research, described in my thesis, and this paper (requires ACM digital library access). Not very polished code, so drop me a line if you're interested in reproducing the results.
- categorytheory My answers so far to Bartosz Milewski's excellent Category Theory for Programmers. As you can see I'm stuck at Adjunctions. I should pick this up again sometime.
- io_monad A simple reimplementation of the IO Monad. Writing this really took away a lot of the mystery for me.
I recently started a blog to document my journey learning Rust, but I'm really enjoying writing these posts so I'll probably use it to vent my opinion on anything related to programming. 🖋️🖋️🖋️
- KISS
- DRY (when in conflict with KISS, prefer the first until n>2)
- YAGNI
