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

The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

Software developer resume in Latex

我的信息学竞赛讲课课件

Beginner's guide for C++

History of type theory (Chinese).

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

An “open-thoughts” research — Ad Hoc Broadcast, Trace, and Revoke.

金瓶梅［崇祯版］ A5 双版本

Source code of "Get out of C++ Beginners" book (in Japanese)

老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.

Typed Reversible Programming Language

A LaTeX retype of K-Theory by Atiyah