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

TypeScriptToLua plugin that performs constant propagation and constant folding

Lab for PL at ULL

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.

A config-driven static analysis tool that eliminates dead code produced by constant folding in Java/Kotlin projects. Replaces boolean flags with literals, simplifies expressions, removes dead branches and methods — all in an iterative pipeline until convergence.