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 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

Refina.js Finish your work with much less code. Focus on development efficiency. ImGui-like DX. Plain TypeScript is all you need. Docs  |  Repo  |  Why Refina.js

creator

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

co-creator

Quasi Studio A structure-oriented and unique LCDP (Low-Code Development Platform). Designed for professional developers, but is intuitive and easy to use. Repo  |  Try it

tmLanguage Previewer: A VS Code extension for previewing tmLanguage grammars  -  Repo  |  Marketplace

SOF: Structure-oriented Framework  -  Repo (Description)  |  Repo (Implementation)

ZVMS: Zhenhai High School Volunteer Management System  -  Repo  |  History

UCON: [DEPRECATED] A reorganized text-based UI framework  -  Repo  |  Intro&Roadmap

RayChess: [DEPRECATED] A paper-based game ported to Web  -  Repo  |  Intro

Stats

From: 24 July 2024 - To: 31 July 2024

Rust          22 hrs 22 mins  ███████████░░░░░░░░░░░░░░   43.66 %
TypeScript    10 hrs 11 mins  █████░░░░░░░░░░░░░░░░░░░░   19.87 %
Vue.js        8 hrs 51 mins   ████▒░░░░░░░░░░░░░░░░░░░░   17.28 %
JavaScript    3 hrs 4 mins    █▓░░��░░░░░░░░░░░░░░░░░░░░   06.01 %
Markdown      2 hrs 3 mins    █░░░░░░░░░░░░░░░░░░░░░░░░   04.01 %

Links

_Kerman is async.