run and encode simple register machine programs

A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm

A Haskell library that defines custom mathematical expressions and performs calculus and linear algebra calculations

Implementing a minimax agent to the TicTacToe Haskell tutorial exercise for First year Computing students @ Imperial College London