paulzfm

Paul's repositories

ThuThesis-Starter

A starter template for new users of ThuThesis (https://github.com/xueruini/thuthesis).

Language:TeX44 10

TikZ-Tunight

TikZ 画“图”指南讲座源码

Language:TeX11 20

ll1pg

Yet another LL(1) parser generation tool, built in principle.

Language:Scala7 1 2

mydb

A simple one-user single-thread database as a final project.

Language:C++3 20

coq-tunight

Artifact for TUNIGHT talk "Code is Cheap, Show Me the Proof"

Language:Coq2 10

LustreAST

A small tool to translate between Lustre and AST.

Language:OCamlMIT2 3 14

alex-machine

Language:JavaScript1 2 15

CP-next

Try experimental features

Language:PureScriptNOASSERTION100

decaf-PA-1-AST

AST Print Format

1 10

gradle-plugin-ll1pg

A gradle plugin to apply ll1pg

Language:Groovy1 10

os_course_spoc_exercises

清华大学OS课中的SPOC形式的课堂练习

Language:C1 20

StringProcessing

Implement string program synthesis algorithm on S. Gulwani's paper.

Language:Scala1 10

Sudoku-BMC

A sudoku solver based on NuSMV bounded model checker.

Language:Python1 10

v9-cpu

Language:C1 2 4

v9.js

An in-browser operating system learning platform. Not production-ready yet.

Language:JavaScript100

AutoMerge.Site

Jekyll theme for creating project documentation websites

Language:CSSMIT010

closest-points-pair

Language:C++010

compiler_course_info

compiler course info

Language:HTML010

decaf-lambda

The Decaf compiler, written in Scala

Language:Scala000

decaf_PA4_TestCases

Decaf PA4 test cases are updated!

Language:Python020

gitignore

A collection of useful .gitignore templates

MIT010

hugo-eureka

Eureka is a feature-rich and highly customizable Hugo theme.

Language:HTMLApache-2.0000

lean3-tutorials

Some Lean tutorials

Language:LeanApache-2.0000

logico

A tiny logical programming language similar to Prolog.

Language:Scala010

MIPS_CPU

Language:VHDL030

mypy-ext

Flexible extensions to mypy

Language:PythonNOASSERTION000

STLCVariants

On the Meta Theory of Two STLC Variants

Language:Coq010

thuthesis

LaTeX Thesis Template for Tsinghua University

Language:TeX010

ucore-os-lab

Language:CGPL-2.0010

v9-cpu-spoc

Language:C010