paulzfm

Paul's starred repositories

cheat.sh

the only cheat sheet you need

Language:PythonMIT37929 581 247

milewski-ctfp-pdf

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

Language:TeXNOASSERTION10867 242 161

thuthesis

LaTeX Thesis Template for Tsinghua University

Language:TeXLPPL-1.3c4489 88 667

rCore

Rust version of THU uCore OS. Linux compatible.

Language:RustMIT3387 83 31

quiver

A modern commutative diagram editor for the web.

Language:JavaScriptMIT2382 26 214

build-server-protocol

Protocol for IDEs and build tools to communicate about compile, run, test, debug and more.

Language:ScalaApache-2.0441 26 113

chi-cv-template

🤩 Rip-off of skyzh's CV

Language:TeXMIT352 4 8

rcore_step_by_step

基于 Rust 和 RISC-V 的操作系统教程（第一版）

Language:Rust271 22 18

TypeTheory

The mathematical study of type theories, in univalent foundations

Language:Coq112 14 45

thu-learn-lib

A JavaScript library to provide a program-friendly interface to Web Learning of Tsinghua University

Language:TypeScriptMIT70 10 16

UnifySL

Language:Coq24 20

JieLabs-Web

Backend & Frontend for JieLabs

Language:JavaScriptAGPL-3.022 50

CP-next

The Next Generation of Compositional Programming

Language:CoqNOASSERTION20 60

MeowRust

Relaxed Rust (for cats)

Language:ScalaMIT16 50

ctrj

Compile Time RapidJSON: A compile time C++ header only JSON library without bloating yet another hand-crafted JSON parser based on RapidJSON.

Language:C++15 40

decaf-old

THU compiler principle course homework, written in rust. (this is not the pa framework)

Language:Rust14 20

jreduce

JReduce is a tool to reduce Java ByteCode

Language:HaskellBSD-3-Clause12 2 10

online_decaf

Online Decaf Compiler

Language:RustMIT8 30

decaf-in-scala

The Decaf compiler, written in Scala

Language:Scala7 5 1

decaf-vscode

Decaf language syntax highlighting for Visual Studio Code

MIT7 20