@Xingye-Dujing
Xingye-Dujing 暂无简介
一个采用 Vue 3 和 Vite 构建的极简个人博客，拥有独特的聊天式布局。
HighDream 是一个基于 Python 和 SymPy 的符号计算工具。它采用模块化设计，通过广度优先搜索(BFS)和规则模式匹配，实现对微分、积分、极限、矩阵和等价形式等数学问题的自动化求解，并提供求解过程。
一个基于 Haskell 的 Lambda 演算解释器，支持 Church 编码数字、Church 布尔值、宏定义以及交互式命令行（REPL）。它包含一个精简的核心版本，以及一个支持文件加载和扩展变量命名的增强版本。
中文文本分析工具箱
