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.
|
A Markdown-based and Vue-powered slides maker. Hackable and developer-friendly. |
|
Focus on development efficiency. ImGui-like DX. Plain TypeScript is all you need. Docs | Repo | Why Refina.js |
|
Designed for professional developers, but is intuitive and easy to use. |
|
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 |
From: 17 May 2024 - To: 24 May 2024
TypeScript 12 hrs 16 mins █████████░░░░░░░░░░░░░░░░ 36.31 %
Markdown 7 hrs 45 mins █████▓░░░░░░░░░░░░░░░░░░░ 22.95 %
Vue.js 7 hrs 27 mins █████▓░░░░░░░░░░░░░░░░░░░ 22.07 %
Verilog 4 hrs 34 mins ███▒░░░░░░░░░░░░░░░░░░░░░ 13.52 %
JSON 1 hr 5 mins ▓░░░░░░░░░░░░░░░░░░░░░░░░ 03.21 %
_Kerman is async.