Explore projects

Haskell implementation of Tasks

Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM

Implementation of the ONS (Ordered Nominal Sets) library in Haskell: https://github.com/Jaxan/ons-hs

An automatic code review tool for student Java assignments.

Some of the scripts used for the RERS challenge 2016

Some of the scripts used for the RERS challenge 2016

compiler project for compiler construction course in Rust