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

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

Development of a compiler for the Mini-Java language

A Java-- to Jasmin compiler with ANTLR-based grammar, AST translation, symbol table, semantic analysis, basic optimizations, and code generation, developed for the Compilers course at FEUP.

Lab for PL at ULL

TypeScriptToLua plugin that performs constant propagation and constant folding