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

Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.

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

Formalisms Every Computer Scientist Should Know course at ISTA 2023

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

Functional Program Construction and Reasoning

Oracle-oriented Programming ^^