{"id":16949722,"url":"https://github.com/kermanx/kermanx","last_synced_at":"2026-04-15T18:03:38.073Z","repository":{"id":37302879,"uuid":"437808393","full_name":"KermanX/KermanX","owner":"KermanX","description":"profile","archived":false,"fork":false,"pushed_at":"2024-05-23T01:00:50.000Z","size":576,"stargazers_count":1,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"main","last_synced_at":"2024-05-23T02:11:38.191Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/KermanX.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-12-13T09:20:16.000Z","updated_at":"2024-05-28T03:35:17.081Z","dependencies_parsed_at":"2024-02-22T01:27:33.667Z","dependency_job_id":"0b0726b7-4efe-4779-8679-059bd2f09388","html_url":"https://github.com/KermanX/KermanX","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/KermanX%2FKermanX","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/KermanX%2FKermanX/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/KermanX%2FKermanX/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/KermanX%2FKermanX/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/KermanX","download_url":"https://codeload.github.com/KermanX/KermanX/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":244776353,"owners_count":20508507,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-10-13T21:55:54.213Z","updated_at":"2026-04-15T18:03:33.038Z","avatar_url":"https://github.com/KermanX.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"## Hi there 👋\n\nI am an undergraduate student at [USTC](https://en.ustc.edu.cn/)-[SGY](https://en.scgy.ustc.edu.cn/), with interests in compilers, software framework development, and computer-assisted proof.\n\n### Projects\n\n\u003c!-- ---------------------\u003e\n\n\u003ctable\u003e\u003ctbody\u003e\u003ctr\u003e\n\u003ctd align=\"middle\" width=\"170px\"\u003e\n\n\u003ca href=\"https://github.com/slidevjs/slidev\"\u003e\u003cimg alt=\"Slidev logo\" src=\"https://sli.dev/logo-title.png\" width=\"140\"\u003e\u003c/a\u003e\u003cbr/\u003e\nteam member\n\n\u003cbr/\u003e\n\n\u003c/td\u003e\n\u003ctd align=\"left\" width=\"630px\"\u003e\n\n### Slidev.js \u003cimg align=\"right\" src=\"https://img.shields.io/github/stars/slidevjs?style=flat-square\u0026color=gold\" alt=\"GitHub Org's stars\" title=\"GitHub org's stars\"\u003e\n\n\u003e Presentation Slides for Developers\n\nA Markdown-based and Vue-powered slides maker. Hackable and developer-friendly.\n\n[Docs](https://sli.dev/) \u0026nbsp;|\u0026nbsp; [Repo](https://github.com/slidevjs/slidev) \u0026nbsp;|\u0026nbsp; [Showcases](https://sli.dev/resources/showcases)\n\n\u003cbr/\u003e\n\n\u003c/td\u003e\n\u003c/tr\u003e\u003c/tbody\u003e\u003c/table\u003e\n\n\u003c!-- ---------------------\u003e\n\n\u003ctable\u003e\u003ctbody\u003e\u003ctr\u003e\n\u003ctd align=\"middle\" width=\"170px\"\u003e\n\n\u003ca href=\"https://github.com/KermanX/reactive-vscode\"\u003e\u003cimg alt=\"reactive-vscode logo\" src=\"https://kermanx.github.io/reactive-vscode/logo.svg\" width=\"140\"\u003e\u003c/a\u003e\u003cbr/\u003e\ncreator\n\n\u003cbr/\u003e\n\n\u003c/td\u003e\n\u003ctd align=\"left\" width=\"630px\"\u003e\n\n### reactive-vscode \u003cimg align=\"right\" src=\"https://img.shields.io/github/stars/KermanX/reactive-vscode?style=flat-square\u0026color=gold\" alt=\"GitHub repo's stars\" title=\"GitHub repo's stars\"\u003e\n\n\u003e Develop VSCode extension with Vue Reactivity API.\n\nWraps VSCode extension APIs into Vue Composables.\n\n[Docs](https://kermanx.github.io/reactive-vscode/) \u0026nbsp;|\u0026nbsp; [Repo](https://github.com/KermanX/reactive-vscode) \u0026nbsp;|\u0026nbsp; [Why reactive-vscode](https://kermanx.github.io/reactive-vscode/guide/why.html)\n\n\u003cbr/\u003e\n\n\u003c/td\u003e\n\u003c/tr\u003e\u003c/tbody\u003e\u003c/table\u003e\n\n\u003c!-- ---------------------\u003e\n\n\u003ctable\u003e\u003ctbody\u003e\u003ctr\u003e\n\u003ctd align=\"middle\" width=\"170px\"\u003e\n\n\u003ca href=\"https://github.com/KermanX/tree-shaker\"\u003e\u003cimg alt=\"Tree-shaker logo\" src=\"https://kermanx.github.io/tree-shaker/favicon.ico\" width=\"140\"\u003e\u003c/a\u003e\u003cbr/\u003e\ncreator\n\n\u003cbr/\u003e\n\n\u003c/td\u003e\n\u003ctd align=\"left\" width=\"630px\"\u003e\n\n### Experimental Tree Shaker (WIP) \u003cimg align=\"right\" src=\"https://img.shields.io/github/stars/KermanX/tree-shaker?style=flat-square\u0026color=gold\" alt=\"GitHub Repo's stars\" title=\"GitHub repo's stars\"\u003e\n\nA tree shaker for JavaScript written in Rust and based on [Oxc](https://oxc.rs/).\n\n[Repo](https://github.com/KermanX/tree-shaker) \u0026nbsp;|\u0026nbsp; [Try it](https://kermanx.github.io/tree-shaker/)\n\n\u003cbr/\u003e\n\n\u003c/td\u003e\n\u003c/tr\u003e\u003c/tbody\u003e\u003c/table\u003e\n\n\u003ctable\u003e\u003ctbody\u003e\u003ctr\u003e\u003ctd width=\"800px\"\u003e\n\n\u003csamp\u003e\n\n**Other projects** \\\n[simple_ts](https://github.com/kermanx/simple_ts) - The simple way to resolve/infer TypeScript types \\\n[js.rs](https://github.com/kermanx/js.rs) - JavaScript but in Rust syntax \\\n[Refina.js](https://github.com/refinajs/refina) - A refined ImGUI-style web framework \\\n[Quasi Studio](https://github.com/Quasi-Studio/quasi) - A structure-oriented and unique [LCDP](https://en.wikipedia.org/wiki/Low-code_development_platform) \\\n[tmLanguage Previewer](https://github.com/KermanX/tmLanguage-Previewer) - A VS Code extension for previewing tmLanguage grammars \\\n[SOF](https://github.com/Structure-Oriented-Framework/SOF) - The Structure-oriented Framework \\\n[ZVMS](https://github.com/zvms/zvms) - Zhenhai High School Volunteer Management System\n\n\u003c/samp\u003e\n\n\u003c/td\u003e\u003c/tr\u003e\u003c/tbody\u003e\u003c/table\u003e\n\n\u003c!-- ### Stats --\u003e\n\n\u003c!--START_SECTION:waka--\u003e\n\n\u003c!--END_SECTION:waka--\u003e\n\n### Links\n  \n  \u003ca href=\"mailto:kermanx@qq.com\"\u003e\u003cimg src=\"https://img.shields.io/badge/-KermanX@qq.com-168de2?style=flat-square\u0026logo=mail.ru\u0026logoColor=white\"/\u003e\u003c/a\u003e\n  \u003ca href=\"https://discord.com/users/1129773314664054804\"\u003e\u003cimg src=\"https://img.shields.io/badge/-kermanx-5662f6?style=flat-square\u0026logo=discord\u0026logoColor=white\"/\u003e\u003c/a\u003e\n  \u003ca href=\"https://x.com/@KermanX_\"\u003e\u003cimg src=\"https://img.shields.io/badge/-KermanX_-333333?style=flat-square\u0026logo=x\u0026logoColor=white\"/\u003e\u003c/a\u003e\n  \u003cbr/\u003e\n  \u003ca href=\"https://afdian.com/a/kermanx\"\u003e\u003cimg src=\"https://img.shields.io/badge/SPONSOR%20ME-white?style=flat-square\u0026label=%E2%9D%A4%EF%B8%8F\u0026labelColor=CCC\u0026color=EEE\" /\u003e\u003c/a\u003e\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkermanx%2Fkermanx","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fkermanx%2Fkermanx","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkermanx%2Fkermanx/lists"}