An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git

Examples of how to create colorful, annotated equations in Latex using Tikz.

papers of Per Martin Löf

ACM consolidated LaTeX styles

History of type theory (Chinese).

Staged compilation with dependent types

LaTeX code for a paper on lean's type theory

A syntax highlighting template for the Kotlin language in LaTeX listings.

EPIT 2020 - Spring School on Homotopy Type Theory

high-performance cubical evaluation

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos

Implementation for ICFP 2020 paper

A mini-book on category theory. Superseded by https://github.com/jonsterling/forest

Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory

Very Naive MIPS CPU using Clash

Mathematical notes and papers

syntax highligher for GkdTeX

PL syntax macros.

Euclidean plane and its relatives; a minimalist introduction.

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

HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”

PIGTIKAL (puzzles in geometry that I know and love)

Practice of LaTeX and Abstract Algebra

Reasonably Programmable Literal Notation (submission to ICFP 2018)

My resume; Latest version available at my blog