8000 paulzfm (Paul) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View paulzfm's full-sized avatar
132 followers · 8 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark

Highlights

  • Pro

Organizations

@decaf-lang

Block or report paulzfm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

matchy233 / chi-cv-template

🤩 Rip-off of skyzh's CV

TeX 379 28 Updated Mar 30, 2023

yzyzsun / CP-next

The Next Generation of Compositional Programming

PureScript 27 5 Updated Mar 19, 2025

ucla-pls / jreduce

JReduce is a tool to reduce Java ByteCode

Haskell 12 2 Updated Oct 12, 2021

varkor / quiver

A modern commutative diagram editor for the web.

JavaScript 3,260 96 Updated May 27, 2025

UniMath / TypeTheory

The mathematical study of type theories, in univalent foundations

Coq 115 24 Updated Feb 15, 2025

Fugoes / ctrj

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

C++ 15 2 Updated Jun 29, 2020

thu-cs-lab / JieLabs-Web

Backend & Frontend for JieLabs

JavaScript 22 3 Updated Mar 3, 2023

QinxiangCao / UnifySL

Coq 23 5 Updated Jan 10, 2020

chubin / cheat.sh

the only cheat sheet you need

Python 39,439 1,817 Updated Feb 1, 2025

equation314 / decaf-vscode

Decaf language syntax highlighting for Visual Studio Code

7 1 Updated Oct 23, 2019

build-server-protocol / build-server-protocol

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

Scala 489 66 Updated Dec 15, 2024

CircuitCoder / MeowRust

Relaxed Rust (for cats)

Scala 16 1 Updated Nov 20, 2019

decaf-lang / decaf-in-scala

The Decaf compiler, written in Scala

Scala 7 6 Updated Jul 23, 2020

jiegec / online_decaf

Online Decaf Compiler

Rust 9 1 Updated Oct 21, 2019

MashPlant / decaf-old

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

Rust 14 3 Updated Dec 24, 2018

LearningOS / rcore_step_by_step

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

Rust 276 32 Updated Nov 13, 2019

rcore-os / rCore

Rust version of THU uCore OS. Linux compatible.

Rust 3,598 376 Updated Aug 24, 2023

Harry-Chen / thu-learn-lib

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

TypeScript 71 10 Updated Mar 18, 2025

hmemcpy / milewski-ctfp-pdf

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

TeX 11,247 611 Updated May 8, 2025

tuna / thuthesis

LaTeX Thesis Template for Tsinghua University

TeX 4,919 1,116 Updated May 25, 2025
0