Warm up project written in Haskell. Dictionary with Integer keys and logarithmic access time.
Interpreter for own toy statically typed imperative language inspired by Swift. Project contains parser, pretty printer, typechecker and evaluation. For more information see the description. Written in Haskell.
Automatic verification of multithreaded programs in simplified programming language. Written in Prolog.
Small project written in Smalltalk with lazy point containers.