Skip to content
View kermanx's full-sized avatar
361 followers · 121 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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
KermanX/README.md

Hi there 👋

I am an undergraduate student at USTC-SGY, with interests in compilers, software framework development, and computer-assisted proof.

Projects

Slidev logo
team member

Slidev.js GitHub Org's stars

Presentation Slides for Developers

A Markdown-based and Vue-powered slides maker. Hackable and developer-friendly.

Docs Â?|Â? Repo Â?|Â? Showcases

reactive-vscode logo
creator

reactive-vscode GitHub repo's stars

Develop VSCode extension with Vue Reactivity API.

Wraps VSCode extension APIs into Vue Composables.

Docs Â?|Â? Repo Â?|Â? Why reactive-vscode

Tree-shaker logo
creator

JsShaker GitHub Repo's stars

Code size optimizer for JavaScript based on Abstract Interpretation.

Repo Â?|Â? Try it

Other projects
simple_ts - The simple way to resolve/infer TypeScript types
js.rs - JavaScript but in Rust syntax
Refina.js - A refined ImGUI-style web framework
Quasi Studio - A structure-oriented and unique LCDP
tmLanguage Previewer - A VS Code extension for previewing tmLanguage grammars
SOF - The Structure-oriented Framework
ZVMS - Zhenhai High School Volunteer Management System

Pinned Loading

  1. slidevjs/slidev slidevjs/slidev Public

    Presentation Slides for Developers

    TypeScript 43.3k 1.9k

  2. reactive-vscode reactive-vscode Public

    Vue Reactivity for VSCode Extension API

    TypeScript 802 25

  3. uni-token/core uni-token/core Public

    LLM Token Solution for Local AI Agents

    Vue 6 2

  4. jsshaker jsshaker Public

    🪚 Code size optimizer for JavaScript

    Rust 385 2

  5. 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 74 1

  6. p2p-live-share p2p-live-share Public

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

    TypeScript 235 6