Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM
compiler project for compiler construction course in Rust
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
Haskell implementation of Tasks
An automatic code review tool for student Java assignments.