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

A textbook on informal homotopy type theory

A book about compiling Racket and Python to x86-64 assembly

Build Systems à la Carte

Staged compilation with dependent types

EPIT 2020 - Spring School on Homotopy Type Theory

high-performance cubical evaluation

Implementation for ICFP 2020 paper

my phd thesis

Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically