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.
|
A Markdown-based and Vue-powered slides maker. Hackable and developer-friendly. |
|
Wraps VSCode extension APIs into Vue Composables. Docs Β |Β Repo Β |Β Why reactive-vscode |
|
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. |
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 |
From: 14 October 2024 - To: 21 October 2024
Rust 15 hrs 42 mins βββββββββββββββββββββββββ 39.56 %
JavaScript 9 hrs 32 mins βββββββββββββββββββββββββ 24.01 %
C++ 3 hrs 24 mins βββββββββββββββββββββββββ 08.57 %
TypeScript 2 hrs 58 mins βββββββββββββββββββββββββ 07.50 %
Markdown 2 hrs 52 mins βββββββββββββββββββββββββ 07.24 %
_Kerman is async.