A free book: "The Science of Functional Programming"

Low-Level Software Security for Compiler Developers

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

This is a LaTeX template with a minimalist design that you can use for your presentations in Beamer.

A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.

A club for reading cool papers

Compositional Programming in Action

A template for writing papers using Ott (https://github.com/ott-lang/ott)

Functional Program Construction and Reasoning

Oracle-oriented Programming ^^