个人项目

这是一个eavl/apply风格的Lisp解释器。

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

Embedded ML是一个基于C++的脚本语言。与一般的脚本语言不同，Embedded ML是静态类型的。 这个项目包含了一个该语言的字节码编译器以及一个虚拟机。