Paul's repositories
mypy-ext
Flexible extensions to mypy
hugo-eureka
Eureka is a feature-rich and highly customizable Hugo theme.
lean3-tutorials
Some Lean tutorials
STLCVariants
On the Meta Theory of Two STLC Variants
decaf-lambda
The Decaf compiler, written in Scala
TikZ-Tunight
TikZ 画“图”指南 讲座源码
coq-tunight
Artifact for TUNIGHT talk "Code is Cheap, Show Me the Proof"
gradle-plugin-ll1pg
A gradle plugin to apply ll1pg
compiler_course_info
compiler course info
decaf_PA4_TestCases
Decaf PA4 test cases are updated!
AutoMerge.Site
Jekyll theme for creating project documentation websites
decaf-PA-1-AST
AST Print Format
ThuThesis-Starter
A starter template for new users of ThuThesis (https://github.com/xueruini/thuthesis).
thuthesis
LaTeX Thesis Template for Tsinghua University
logico
A tiny logical programming language similar to Prolog.
StringProcessing
Implement string program synthesis algorithm on S. Gulwani's paper.
os_course_spoc_exercises
清华大学OS课中的SPOC形式的课堂练习
Sudoku-BMC
A sudoku solver based on NuSMV bounded model checker.
gitignore
A collection of useful .gitignore templates