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.

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

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

creator

reactive-vscode Develop VSCode extension with Vue 3 Composition API. Wraps VSCode extension APIs into Vue Composables. (WIP) Docs  |  Repo  |  Why reactive-vscode

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: 18 May 2024 - To: 25 May 2024

TypeScript   10 hrs 41 mins  ████████▓░░░░░░░░░░░░░░░░   35.32 %
Markdown     7 hrs 27 mins   ██████░░░░░░░░░░░░░░░░░░░   24.61 %
Vue.js       6 hrs 21 mins   █████▒░░░░░░░░░░░░░░░░░░░   20.97 %
Verilog      4 hrs 34 mins   ███▓░░░░░░░░░░░░░░░░░░░░░   15.08 %
JSON         44 mins         ▓░░░░░░░░░░░░░░░░░░░░░░░░   02.43 %

Links

_Kerman is async.