I am an undergraduate student at USTC-SGY, with interests in compilers, software framework development, and computer-assisted proof.
Slidev logo
team member
Slidev.js GitHub Org's stars
Presentation Slides for Developers
A Markdown-based and Vue-powered slides maker. Hackable and developer-friendly.
reactive-vscode logo
creator
reactive-vscode GitHub repo's stars
Develop VSCode extension with Vue Reactivity API.
Wraps VSCode extension APIs into Vue Composables.
Docs | Repo | Why reactive-vscode
Tree-shaker logo
creator
JsShaker GitHub Repo's stars
Code size optimizer for JavaScript based on Abstract Interpretation.
Other projects
simple_ts - The simple way to resolve/infer TypeScript types
js.rs - JavaScript but in Rust syntax
Refina.js - A refined ImGUI-style web framework
Quasi Studio - A structure-oriented and unique LCDP
tmLanguage Previewer - A VS Code extension for previewing tmLanguage grammars
SOF - The Structure-oriented Framework
ZVMS - Zhenhai High School Volunteer Management System