Pinned Repositories
alex-machine
ConnectFour
AI final project
coq-tunight
Artifact for TUNIGHT talk "Code is Cheap, Show Me the Proof"
CP-next
Try experimental features
ll1pg
Yet another LL(1) parser generation tool, built in principle.
LustreAST
A small tool to translate between Lustre and AST.
mydb
A simple one-user single-thread database as a final project.
Sudoku-BMC
A sudoku solver based on NuSMV bounded model checker.
ThuThesis-Starter
A starter template for new users of ThuThesis (https://github.com/xueruini/thuthesis).
TikZ-Tunight
TikZ 画“图”指南 讲座源码
paulzfm's Repositories
paulzfm/ThuThesis-Starter
A starter template for new users of ThuThesis (https://github.com/xueruini/thuthesis).
paulzfm/TikZ-Tunight
TikZ 画“图”指南 讲座源码
paulzfm/ll1pg
Yet another LL(1) parser generation tool, built in principle.
paulzfm/mydb
A simple one-user single-thread database as a final project.
paulzfm/coq-tunight
Artifact for TUNIGHT talk "Code is Cheap, Show Me the Proof"
paulzfm/LustreAST
A small tool to translate between Lustre and AST.
paulzfm/alex-machine
paulzfm/CP-next
Try experimental features
paulzfm/decaf-PA-1-AST
AST Print Format
paulzfm/gradle-plugin-ll1pg
A gradle plugin to apply ll1pg
paulzfm/os_course_spoc_exercises
清华大学OS课中的SPOC形式的课堂练习
paulzfm/StringProcessing
Implement string program synthesis algorithm on S. Gulwani's paper.
paulzfm/Sudoku-BMC
A sudoku solver based on NuSMV bounded model checker.
paulzfm/v9-cpu
paulzfm/v9.js
An in-browser operating system learning platform. Not production-ready yet.
paulzfm/AutoMerge.Site
Jekyll theme for creating project documentation websites
paulzfm/closest-points-pair
paulzfm/compiler_course_info
compiler course info
paulzfm/decaf-lambda
The Decaf compiler, written in Scala
paulzfm/decaf_PA4_TestCases
Decaf PA4 test cases are updated!
paulzfm/gitignore
A collection of useful .gitignore templates
paulzfm/hugo-eureka
Eureka is a feature-rich and highly customizable Hugo theme.
paulzfm/lean3-tutorials
Some Lean tutorials
paulzfm/logico
A tiny logical programming language similar to Prolog.
paulzfm/MIPS_CPU
paulzfm/mypy-ext
Flexible extensions to mypy
paulzfm/STLCVariants
On the Meta Theory of Two STLC Variants
paulzfm/thuthesis
LaTeX Thesis Template for Tsinghua University
paulzfm/ucore-os-lab
paulzfm/v9-cpu-spoc