My Page

Bytecode Interpreter: Interpreter for LaMa language bytecode

Truffle Implementation of the LaMa Language: Interpreter for the LaMa language built on top of the graalvm truffle framework (part.)

Implementation of the Escher Algorithm: Algorithm for the recursive program synthesis from paper

Simple Active Patern Matching: Pattern matching using regular terms instead of the special patterns notion (draft)

Language Parser, Interpreter and Type Checker: First version of the programming language (part.)

Language Parser, Interpreter and Type Checker: Second version of the programming language (part.)

Language Modes Check Project: Simple lambda calculus with types and _unique_ mode check implementation (Oxidized OCaml paper)

Parallel Test System Task: Thread pool implementation