Paul's starred repositories
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
build-server-protocol
Protocol for IDEs and build tools to communicate about compile, run, test, debug and more.
chi-cv-template
🤩 Rip-off of skyzh's CV
rcore_step_by_step
基于 Rust 和 RISC-V 的操作系统教程(第一版)
TypeTheory
The mathematical study of type theories, in univalent foundations
thu-learn-lib
A JavaScript library to provide a program-friendly interface to Web Learning of Tsinghua University
JieLabs-Web
Backend & Frontend for JieLabs
online_decaf
Online Decaf Compiler
decaf-in-scala
The Decaf compiler, written in Scala
decaf-vscode
Decaf language syntax highlighting for Visual Studio Code