Selected Projects

• Designed and implemented an interpreter for the "MadLang" programming language from scratch.
• Handled core compiler construction components including lexical analysis, Abstract Syntax Tree (AST) construction, and environment mapping.
• Implemented complex language features such as function call mechanics and variable scopes.

I did every exercise in each chapter and the code link is right after the title.

• Functional Programming in Rocq (Basics)
• Proof by Induction (Induction)
• Working with Structured Data (Lists)
• Polymorphism and Higher-Order Functions (Poly)
• More Basic Tactics (Tactics)
• Logic in Rocq (Logic)
• Inductively Defined Propositions (IndProp)