Home Original page

kermanx - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

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. 🪚 A JavaScript code size optimizer based on abstract interpretation

    Rust 415 2

  2. Develop VSCode extension with Vue Reactivity API

    TypeScript 817 26

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

    TypeScript 270 10

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

    Rust 80 1