Hi there 👋

I am a student at USTC-SGY, also a graduate of Zhenhai High School.

I am interested in software framework development and computer-assisted proof. Currently a web/rust dev.

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

Experimental Tree Shaker (WIP) A tree shaker for JavaScript written in Rust and based on Oxc. Repo  |  Try it

Other projects Refina.js - An 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

Links

_Kerman is async.