Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A textbook on informal homotopy type theory

The "Yellow Paper": Ethereum's formal specification

Sources for my PhD dissertation on the Raft consensus algorithm

Presentation on how the Linux kernel is developed

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

Cheat Sheets for programming languages and tools

Drafts, notes and resources for adding linear typing to GHC.

From Haskell to Hardware via CCCs

My undergradate thesis on coinductive types in univalent type theory

MSc Thesis on practical levitation