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: 02 November 2024 - To: 09 November 2024
JavaScript 7 hrs 36 mins βββββββββββββββββββββββββ 15.56 %
Rust 6 hrs 47 mins βββββββββββββββββββββββββ 13.91 %
TypeScript 6 hrs 25 mins βββββββββββββββββββββββββ 13.15 %
C++ 5 hrs 5 mins βββββββββββββββββββββββββ 10.44 %
Python 4 hrs 54 mins βββββββββββββββββββββββββ 10.06 %
_Kerman is async.