Pinned Repositories
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
Chinese-Resume-in-Typst
使用 Typst 编写的中文简历, 语法简洁, 样式美观, 开箱即用, 可选是否显示照片
Chinese-Resume-in-Typst
使用 Typst 编写的中文简历, 语法简洁, 样式美观, 开箱即用, 可选是否显示照片
DSEtuner
A DSEtuner for spatial architecture
pintos-lab
PKU pintos lab in spring 22
PKUSCC21repro
reproducibility task in SCC21 competition by team from Peking University
press_news
an extremely trivial example for super trait in rust
rust-complier
RustyHoTTel
A LCF-style typechecker for HoTT
WPA
WholeProgramPointerAnalysis for Software Analysis
sigongzi's Repositories
sigongzi/PKUSCC21repro
reproducibility task in SCC21 competition by team from Peking University
sigongzi/Chinese-Resume-in-Typst
使用 Typst 编写的中文简历, 语法简洁, 样式美观, 开箱即用, 可选是否显示照片
sigongzi/DSEtuner
A DSEtuner for spatial architecture
sigongzi/pintos-lab
PKU pintos lab in spring 22
sigongzi/press_news
an extremely trivial example for super trait in rust
sigongzi/rust-complier
sigongzi/RustyHoTTel
A LCF-style typechecker for HoTT
sigongzi/WPA
WholeProgramPointerAnalysis for Software Analysis