Skip to content
View kermanx's full-sized avatar
381 followers · 126 following

Achievements

Achievement: Starstruckx3Achievement: Pair Extraordinairex2Achievement: Galaxy Brainx2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Starstruckx3Achievement: Pair Extraordinairex2Achievement: Galaxy Brainx2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Organizations

@ustclug @slidevjs @UniCoderGroup @zvms @Structure-oriented-Framework @zz-developer @Quasi-Studio @refinajs @uni-token

Block or report kermanx

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
KermanX/README.md

Hi there 👋

I'm an undergrad at USTC-SGY, with interests in compilers, software frameworks, and formal verification.

Projects I work on:

Slidev logo

Slidev.js GitHub Org's stars

Presentation slides for developers.

Docs  |  Repo  |  Showcases

reactive-vscode logo

reactive-vscode GitHub repo's stars

Develop VS Code extension with Vue Reactivity API.

Docs  |  Repo  |  Why reactive-vscode

Tree-shaker logo

JsShaker GitHub Repo's stars

Code size optimizer for JavaScript based on Abstract Interpretation.

Repo  |  Try it
P2P Live Share . js.rs . simple_ts . Refina.js . Quasi Studio
tmLanguage Previewer . suzume-wallpaper . SOF . ZVMS

Pinned Loading

  1. jsshaker jsshaker Public

    🪚 A JavaScript code size optimizer based on abstract interpretation

    Rust 416 2

  2. reactive-vscode reactive-vscode Public

    Develop VSCode extension with Vue Reactivity API

    TypeScript 817 26

  3. p2p-live-share p2p-live-share Public

    VS Code collaboration extension - a peer-to-peer and open-source alternative to Live Share.

    TypeScript 277 13

  4. simple_ts simple_ts Public

    [Paused due to personal time issues] The simple way to resolve/infer TypeScript types. Useful for type-aware linting in Rust.

    Rust 80 1