贵校课程资料民间整理

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

Book of Elementary Functional Algorithms and Data structures

A textbook on informal homotopy type theory

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

An Infinitely Large Napkin

Repository for the Stacks Project

线性代数：未竟之美

History of type theory (Chinese).

The Dao of Functional Programming

Mathematical Components (the Book)

https://openpal.github.io/TypeAndProof/

Solution to Algebra, Chapter 0

Flux is a modern style beamer presentation.

high-performance cubical evaluation

C Compiler written in TeX

Notes on higher-order typed compilation. Probably wrong

A digital archive of category theory papers.

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

Proving the Whitehead theorem for Mathlib's homotopy groups and two variations