Explore projects

Type safety proofs for DOT calculi.

COVID-19 Data Downloader

This function returns the latest available data subset of COVID-19.

Project code for Waterloo Multi-Agent (WMA) Traffic Dataset.

libfibre is a user-threading runtime