个人项目

MVP解释器是一个基于代入消元法（substitution）的教学编程语言解释器。目的是为不熟悉该概念的学生直观地演示编程语言的小步操作语义（small-step operation semantics）。该项目支持单步向前/向后执行程序，并在每一步都可视化语法树。

Reversi-Elm是一个用Elm语言写的基于浏览器的黑白棋游戏实现。 它支持单机双人游戏、人机对战、以及AI对战AI模拟。 该游戏的AI实现基于极小化极大算法（minimax）以及Alpha-beta剪枝， 以及一个基于棋子个数、各棋子位置、以及行动力（玩家可选的合法行动数）的评价函数（evaluation function）。

本网站最早是一个基于Jekyll的静态网站。我在2017年使用Typescript、React以及GatsbyJs将它重写。