Generate deterministic semantic fingerprints for Go functions. Detect xz-style backdoors and verify semantic equivalence using Static Single Assignment (SSA) analysis and Scalar Evolution.

First two front-end phases of a language-independent compiler implemented in C++

A high-performance JavaScript Runtime Visualizer engineered with Nuxt 4 and Acorn.js. This system deconstructs source code into an Abstract Syntax Tree (AST) to simulate and visualize the internal mechanics of the V8 Event Loop, including Call Stack management, Web API orchestration, and Microtask/Macrotask priority scheduling.

An interactive C++ tool for learning LL(1) and SLR(1) parsers. SyntaxTutor generates random grammars and guides students through FIRST, FOLLOW, closure, and parsing table calculations with step-by-step feedback.

Morphological Source Code (+QSD, /MOONLAPSED/cognosis branch) implemented in Python3 for contemporary hardware. Operates as a quantized kernel of agentic motility, akin to a Hilbert space kernel; augmented by an AdS/CFT Noetherian jet space enabling category-theoretic syntax-lift/lower, morphological differentiation, and morphosemantic integration.

University report and code of the unit Compiler Theory and Practice

A simplistic programming language interpreter to Python to help students grasp finite automata theory programmatically and with a computed graph through visualization libraries.

A Java tool for converting non-deterministic finite automata (AFN) to deterministic ones (AFD), with a Swing-based GUI.

Deliverables relating to the Compiler Theory and Practice University Unit

Java version of the Compiler Theory and Design class in UMGC. It was in C language now I turned it into Java for fun.

Implementation of a COOL interpreter that has type inference by adding the type AUTO_TYPE

Arithmetic expression translator with lexer, LL(1) parser, and 3-address intermediate code generation in Python

Customer parser and compiler for JVM built from scratch using ASM and Java

My implementation of a compiler and Written Exam done for DVA339 - Compiler Theory at Malardalen University

The presentation of the first MuseMI meeting of the 2025/2026 season, held in Milan on December 4, 2025.