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.
|
A Markdown-based and Vue-powered slides maker. Hackable and developer-friendly. |
|
Wraps VSCode extension APIs into Vue Composables. Docs Β |Β Repo Β |Β Why reactive-vscode |
|
A tree shaker for JavaScript written in Rust and based on Oxc. |
Other projects |
From: 28 October 2024 - To: 04 November 2024
Markdown 8 hrs 26 mins βββββββββββββββββββββββββ 25.40 %
Python 4 hrs 36 mins βββββββββββββββββββββββββ 13.89 %
JavaScript 3 hrs 30 mins βββββββββββββββββββββββββ 10.58 %
Rust 3 hrs 22 mins βββββββββββββββββββββββββ 10.16 %
TypeScript 2 hrs 55 mins βββββββββββββββββββββββββ 08.81 %
_Kerman is async.