Explore projects

cs488

Type safety proofs for DOT calculi.

This repository is for files to be hosted on the fluids wiki (wiki.math.uwaterloo.ca/fluidswiki).

HTML sheets rendered by matlab, jupyter; etc. hosted on https://docs.math.uwaterloo.ca/sheets

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

Gantt charts for your tickets