Skip to content
View KermanX's full-sized avatar
🐒
testing test262
🐒
testing test262

Highlights

  • Pro

Organizations

@slidevjs @UniCoderGroup @zvms @Structure-oriented-Framework @zz-developer @Quasi-Studio @USTC-Solvay @refinajs

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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 a student at USTC-SGY, also a graduate of Zhenhai High School.

I am interested in software framework development and computer-assisted proof. Currently a web/rust dev.

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


Experimental Tree Shaker (WIP) GitHub Repo's stars

A tree shaker for JavaScript written in Rust and based on Oxc.

Repo | Try it


Other projects
Refina.js - An 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

Stats

From: 06 November 2024 - To: 13 November 2024

Rust         16 hrs 56 mins  β–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–“β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   31.29 %
JavaScript   8 hrs 19 mins   β–ˆβ–ˆβ–ˆβ–ˆβ–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   15.39 %
TypeScript   6 hrs 37 mins   β–ˆβ–ˆβ–ˆβ–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   12.25 %
C++          6 hrs 37 mins   β–ˆβ–ˆβ–ˆβ–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   12.25 %
Coq          5 hrs 7 mins    β–ˆβ–ˆβ–’β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   09.47 %

Links



_Kerman is async.

Pinned Loading

  1. slidevjs/slidev slidevjs/slidev Public

    Presentation Slides for Developers

    TypeScript 33.4k 1.4k

  2. reactive-vscode reactive-vscode Public

    Vue Reactivity for VSCode Extension API

    TypeScript 624 11

  3. tree-shaker tree-shaker Public

    🌳πŸͺš An experimental tree shaker for JS based on Oxc (WIP)

    Rust 289 2

  4. refinajs/refina refinajs/refina Public

    A refined web framework

    TypeScript 36

  5. Quasi-Studio/quasi Quasi-Studio/quasi Public

    The monorepo for Quasi Studio

    TypeScript 14 1

  6. zvms/zvms2 zvms/zvms2 Public

    Opensource school volunteer management system for ZHZX.

    Python 18 3