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

📝 A website for automatically generating elegant LaTeX resumes.

A textbook on informal homotopy type theory

A short guide to LaTeX that avoids legacy cruft.

papers of Per Martin Löf

BNF Converter

Low-Level Software Security for Compiler Developers

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

HoTTEST Summer School materials

Causal Inference 1 Mixtape Session taught by Scott Cunningham

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

Staged compilation with dependent types

Mathematical Components (the Book)

Mathematics paper recapitulating the calculus behind a neural network and its back propagation

Specification of Quil: A Practical Quantum Instruction Set Architecture

Implementation for ICFP 2020 paper

🧊 An indexed construction of semi-simplicial and semi-cubical sets

Github project where I track everything related to my thesis

Java, but worse

Formally verified modal monophonic music sequencer

SIGBOVIK 2024