A powerful mathematical expression parser and evaluator for PHP featuring variable substitution, user-defined constants, functions, deterministic functions, macros, operators, and compiler optimizations.

A strongly-typed duck-typed language. Solves type constraints on polymorphic functions and performs best-as-possible constant expression evaluation

Aggressive constant folding + eval = hygienic macros

Development of a compiler for the Mini-Java language

Lab for PL at ULL

AST rewriting of Python for-loop summations as closed-form Gauss summations

TypeScriptToLua plugin that performs constant propagation and constant folding