sigongzi

Ivory E.Seagull's repositories

reproducibility task in SCC21 competition by team from Peking University

Language:Python1 10

使用 Typst 编写的中文简历, 语法简洁, 样式美观, 开箱即用, 可选是否显示照片

Language:Typst000

A DSEtuner for spatial architecture

Language:Python010

Language:TeXMIT000

PKU pintos lab in spring 22

Language:C010

an extremely trivial example for super trait in rust

Language:Rust010

Language:Rust000

A LCF-style typechecker for HoTT

Language:RustGPL-3.0000

WholeProgramPointerAnalysis for Software Analysis

Language:Java010