HighDream 是一个基于 Python 和 SymPy 的符号计算工具。它采用模块化设计，通过广度优先搜索(BFS)和规则模式匹配，实现对微分、积分、极限、矩阵和等价形式等数学问题的自动化求解，并提供求解过程。
HighDream 是一个基于 Python 和 SymPy 的符号计算工具。它采用模块化设计，通过广度优先搜索(BFS)和规则模式匹配，实现对微分、积分、极限、矩阵和等价形式等数学问题的自动化求解，并提供求解过程。
一个基于 Haskell 的 Lambda 演算解释器，支持 Church 编码数字、Church 布尔值、宏定义以及交互式命令行（REPL）。它包含一个精简的核心版本，以及一个支持文件加载和扩展变量命名的增强版本。
最近一年贡献：186 次
最长连续贡献：9 日
最近连续贡献：4 日
贡献度的统计数据包括代码提交、创建任务 / Pull Request、合并 Pull Request，其中代码提交的次数需本地配置的 git 邮箱是 Gitee 帐号已确认绑定的才会被统计。