开源项目

TypeScriptPlusPlus is a powerful superset of TypeScript that compiles to clean TypeScript and JavaScript output.

A modern documentation and general-purpose static site generator for the MoonBit ecosystem. Its design draws inspiration from both mdBook and Hakyll. At its core, MoPress uses an embedded DSL for declarative configuration and functional processing pipelines to express build workflows.

learn *Types and Programming Languages* through Koka language

This is a character website project designed for Himeno Sena. She is a main character in the Japanese visual novel Koi x Shin Ai Kanojo (恋×シンアイ彼女).|这是角色姬野星奏的专属网站，她是游戏想要传达给你的爱恋中的女主

A Haskell practice platform. Answer type-signature, implementation, and behavior questions; get judged by GHC; climb the leaderboard.

Pure Console Rendering Modern lightweight Music Player Built With Swift.

A powerful website system — blog, lists, notes, api, and more. Powered by Axum + Angular

A lightweight, DSL-driven AI agent for file operations, code modification, and command execution — designed for web and client-side AI assistants.

A tiny, functional GitHub star gate for CLI tools. Ask users to authenticate via GitHub Device Flow, check whether they starred your repo, and cache the result — with zero required scopes and a configurable fallback when they haven't starred.

A lightweight self-hosted music player that aggregates songs from multiple sources into a unified playlist (NetEase source as main source playlist). You can listen to songs that need VIP or banned in the mainland.

A Visual Novel Management System In Terminal.

A minimal, declarative music player written in ReScript — with lyrics scrolling, playlist, and theming support.

基于GitHub Actions的自动化贴吧签到工具，支持QQ等多平台推送结果，使用Bun现代化开发

一个基于本地题库的高考数学刷题桌面应用，用 WPF (.NET) 构建，内置 LaTeX 公式渲染。

A lightweight, high-looking, simple and fresh, customizable, new tab page plug-in for Google Chrome specially designed for programmers.

This A Old Site Before 2022.07

Develop a complete framework based on native PHP, which mainly encapsulates database operations, pseudo-static routing, functional functions and other features. The framework follows the MVC architecture.

Develop a complete framework based on native PHP, which mainly encapsulates database operations, pseudo-static routing, functional functions and other features. The framework follows the MVC architecture.

The Vue+TypeScript+Vite+Pinia project is mainly for practicing Vue framework development

A Modern Functional and Dependent Type Programming Language Base on Rust.

Full functional languages: used in Elm, PureScript, Idris2, Haskell, Dhall... A full‑stack, self‑hosted management platform for shared flats.

MoonBot is a chatbot framework base on MoonBit which follow OneBot protocol.

Lamuto is a high and simple constructed-language

A simple abd tiny image encoding/decoding tool based on Teal. Powered by efficient algorithms, it is designed for evading network content censorship and surveillance.

A safe and fast dice expression evaluator base on Idris2

There are my dot-files repository

Personal notes, essays, articles, docs...

Your anime character collection gallery, easily build, freely share.