一款专为“夜猫子”设计的全屏强制提醒工具，通过霸屏警告、数学答题验证和关机/延后功能，帮助用户规律作息，减少熬夜危害。本项目背后有一段真实而有趣的故事。作者曾为克服熬夜写代码的瘾，逐步升级自己的“防沉迷”工具，从简单的弹窗提醒，到反任务管理器、守护进程、系统服务三层嵌套，甚至一度动念修改 BIOS。这段经历被写成了一篇短篇小说 《我把自己关进了亲手造的电子监狱》。

独立设计双核异构（STM32H7与K230）智能车及CH32V307体感遥控器，获评优秀毕业设计。车体集成激光雷达、九轴IMU、四轮编码器，运行FreeRTOS，支持Lua脚本动态配置避障策略；K230端部署YOLO26s实现路标识别，与车辆控制状态联动；遥控器基于ICM42688六轴IMU实现体感操控，通过2.4G无线链路构成“感知-决策-执行”闭环。

ParseEngine 从一份 .gram 文法生成词法器、解析器和可构建的工程。他支持八种目标语言与十六种分析模式代码生成，使用tmpl模板化技术简化生成代码编写成本

Magel 是一门静态类型、值语义优先、不带 GC 的通用语言：表达式与块语法借 C，类型、 所有权、引用与运行时行为由 Magel 自己定义。它服务的场景是“同一份程序从桌面一直到STM32开发板”， 所以语言层面能说清楚的事情——值什么时候复制、谁拥有资源、错误怎么上报——都不留给运行时去猜。

MetroLang 是一门描述地铁线网的数据语言，配有把线路数据编译成 JSON、反编译回 MetroLang、渲染自包含 HTML/SVG 地图并查询最短时间路径的完整工具链。

CAS 是一个使用 C++17 实现的符号计算系统，能求导、积分、解方程并处理矩阵与张量，支持符号与任意精度数值计算。