Explore projects

compiler project for compiler construction course in Rust

Some of the scripts used for the RERS challenge 2016

Haskell implementation of Tasks

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

An automatic code review tool for student Java assignments.

Some of the scripts used for the RERS challenge 2016

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