Pinned Loading

1. theory-of-computation-projects theory-of-computation-projects Public

   Coursework and projects for Theory of Computation: lambda calculus, formal verification, theorem proving, and logic.

   Haskell

2. formal-languages-automata formal-languages-automata Public

   Coursework and projects for Formal Languages: finite automata, lexical analysis, parsing, AST construction, and interpreters.

   C++

3. rule-based-language-interpreter rule-based-language-interpreter Public

   Rule-based language interpreter implemented in C++. Includes lexical analysis, LL(1) recursive descent parsing, AST construction, fixed-point inference execution, and static analysis inspired by co…

   C++