Explore projects

temporal project where I do my unassessed haskell exercises

Test runner framework

Radix practice test

first Project

This is a implementation of first order predicate logic statement evaluator.

An Attempt at a one line prime number generator in Haskell

First order logic parser and evaluator in Haskell

BEng Individual Project Software Archive

DoC backup of https://github.com/resource-reasoning/jscert_dev

Exercise tests from heskell