_Kerman kermanx

Achievements

KermanX/README.md

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

Projects I work on:

	DeepSeek Harness Everything is a plugin. Repo \| Homepage
	Kimi Code Coding agent. Repo \| Homepage
	Slidev.js Presentation slides for developers. Docs \| Repo \| Showcases
	reactive-vscode Develop VS Code extension with Vue Reactivity API. Docs \| Repo \| Why reactive-vscode
	JsShaker 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`

jsshaker jsshaker Public

🪚 A JavaScript code size optimizer based on abstract interpretation

Rust 439 3
reactive-vscode reactive-vscode Public

Develop VSCode extension with Vue Reactivity API

TypeScript 827 28
p2p-live-share p2p-live-share Public

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

TypeScript 321 17
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 82 1

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

There was an error while loading. Please reload this page.