Explore projects

This module requires access to the ona database; see configuration in //sandboxes/var/www/uw_base_profile-7.59-2.x/sites/ca.lkmorlan2/settings.php. Due to firewall rules, this access only works from sandboxes.

Type safety proofs for DOT calculi.

A portfolio of various websites I have made, using different technologies.

Assignment Planner module