Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings
@kermanx
kermanx
Follow

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


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


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.4k 1.9k

  2. reactive-vscode reactive-vscode Public

    Vue Reactivity for VSCode Extension API

    TypeScript 803 26

  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 386 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 238 6

AltStyle γ«γ‚ˆγ£γ¦ε€‰ζ›γ•γ‚ŒγŸγƒšγƒΌγ‚Έ (->γ‚ͺγƒͺγ‚ΈγƒŠγƒ«) /