Paul (paulzfm)

paulzfm

Geek Repo

Company:Saarland University & CISPA

Location:Saarbrücken, Germany

Home Page:https://paulz.me

Github PK Tool:Github PK Tool


Organizations
decaf-lang

Paul's starred repositories

cheat.sh

the only cheat sheet you need

Language:PythonLicense:MITStargazers:37929Issues:581Issues:247

milewski-ctfp-pdf

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

Language:TeXLicense:NOASSERTIONStargazers:10867Issues:242Issues:161

thuthesis

LaTeX Thesis Template for Tsinghua University

Language:TeXLicense:LPPL-1.3cStargazers:4489Issues:88Issues:667

rCore

Rust version of THU uCore OS. Linux compatible.

Language:RustLicense:MITStargazers:3387Issues:83Issues:31

quiver

A modern commutative diagram editor for the web.

Language:JavaScriptLicense:MITStargazers:2382Issues:26Issues:214

build-server-protocol

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

Language:ScalaLicense:Apache-2.0Stargazers:441Issues:26Issues:113

chi-cv-template

🤩 Rip-off of skyzh's CV

Language:TeXLicense:MITStargazers:352Issues:4Issues:8

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

Language:TypeScriptLicense:MITStargazers:70Issues:10Issues:16
Language:CoqStargazers:24Issues:2Issues:0

JieLabs-Web

Backend & Frontend for JieLabs

Language:JavaScriptLicense:AGPL-3.0Stargazers:22Issues:5Issues:0

CP-next

The Next Generation of Compositional Programming

Language:CoqLicense:NOASSERTIONStargazers:20Issues:6Issues:0

MeowRust

Relaxed Rust (for cats)

Language:ScalaLicense:MITStargazers:16Issues:5Issues:0

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++Stargazers:15Issues:4Issues:0

decaf-old

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

Language:RustStargazers:14Issues:2Issues:0

jreduce

JReduce is a tool to reduce Java ByteCode

Language:HaskellLicense:BSD-3-ClauseStargazers:12Issues:2Issues:10

online_decaf

Online Decaf Compiler

Language:RustLicense:MITStargazers:8Issues:3Issues:0

decaf-in-scala

The Decaf compiler, written in Scala

decaf-vscode

Decaf language syntax highlighting for Visual Studio Code

License:MITStargazers:7Issues:2Issues:0