Hi there 👋

I am an undergraduate student at USTC-SGY, with interests in compilers, software framework development, and computer-assisted proof.

Projects

team member

Slidev.js Presentation Slides for Developers A Markdown-based and Vue-powered slides maker. Hackable and developer-friendly. Docs  |  Repo  |  Showcases

creator

reactive-vscode Develop VSCode extension with Vue Reactivity API. Wraps VSCode extension APIs into Vue Composables. Docs  |  Repo  |  Why reactive-vscode

creator

JsShaker Code size optimizer for JavaScript based on Abstract Interpretation. Repo  |  Try it

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