贵校课程资料民间整理

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

A modern LaTeX Beamer theme

Book of Elementary Functional Algorithms and Data structures

A textbook on informal homotopy type theory

An Infinitely Large Napkin

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

Repository for the Stacks Project

线性代数：未竟之美

BNF Converter

The Dao of Functional Programming

History of type theory (Chinese).

Staged compilation with dependent types

Mathematical Components (the Book)

Solution to Algebra, Chapter 0

A blueprint for a formalization of infinity-cosmos theory in Lean.

high-performance cubical evaluation

Flux is a modern style beamer presentation.

C Compiler written in TeX

A digital archive of category theory papers.

Formal specification of the Haskell Language Report

Notes on higher-order typed compilation. Probably wrong

Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)

notes on topos theory (Chinese)

An English translation of Deligne's three "Hodge theory" papers

From Calculus to Cohomology - Ib Madsen and Jørgen Tornehave

Collestion of lecture notes