Deductrium（推理元素）
一个在浏览器中用Typescript实现的数学形式系统与双曲空间结合的游戏。目前包含命题逻辑、一阶逻辑、皮亚诺公理、ZFC集合论与一些序数和类型论的内容。点击这里查看：（非必须，游戏内有引导） 1. 游戏介绍； 2. 集合论简介； 3. 类型论简介（暂未写出）
如果觉得的游戏太难，我还提供了一个Deductrium创造模式，链接请在博文中自行寻找。创造模式中，可直接解锁所有的公理系统，并提供了很多现成的定理，然而该模式下无法体验双曲空间以及序数系统等游戏内容。
OrdMap（序数地图）
[源码]
序数是比所有自然数都大但小于绝对无穷的东西，概念详细解释参见《大数数学简介》。序数地图中序数最大到EBO，支持BOCF/MOCF与Veblen表示。
手机端拖拽屏幕空白部分平移地图，点击加减号缩放。按住加减号不放往右边滑动可加速缩放；电脑端鼠标按住拖拽平移地图，滚轮缩放，按键盘T/G可调节缩放速率，按W/S键可调节迭代绘制深度。
Tesserxel
[源码]
全新的基于WebGPU的关于四维世界的引擎：代数、建模、渲染、物理……这里是系列文章介绍，以后将出详细游玩教程与开发教程。
4D Viewer
[源码]
四维引擎Tesserxel的前身，是一个使用立体视野来显示四维空间的js库（类似Three.js），目标是尽让我们可能体会到四维人的三维视觉。附带一些Demo，比如超立方体、正多胞体、关卡游戏等等。
4D 刚体物理引擎
4D Viewer中的简单的4D刚体物理引擎，有一些交互式的场景，如锁链、齿轮、汽车、积木、陀螺等。现已移植进新版四维引擎Tesserxel。
Minecraft4D
- 基于四维光线跟踪的Minecraft游戏，超立方体方块表面采用3D贴图
- 基于种子的随机无限地图，所有景观与结构都是四维的，不同生物群系和村庄等着你来探索！
- 支持Minecraft中类似的命令系统，包括传送、快速填充选区（类似于MC的worldedit插件）等
- 支持世界与局部结构的保存
电脑钢琴
[源码]
一个定制化的键盘钢琴小程序，我根据自己的习惯进行了改良，有各种变调、移调的方式，所以没有键位设置选项，适合即兴。可以导入导出MIDI文件，编辑音符,支持多音轨和少数MIDI控制器(7、64)，有对齐网格量化、力度调节、速度录制等功能。此外除了钢琴还可选其他几个音色。
博文中的JS小程序集合
- [原文] 体验二维人看三维场景
- [原文] 计算四维星球上的太阳高度角
- [原文] 墨卡托投影
- [原文] 双曲镶嵌模型
- [原文] 维度数学漫步预告片中的格子空间
- [原文] Hopf纤维丛