Explore projects
-
Updated
-
Updated
-
This is a mirror of https://github.com/tomsmeding/ad-dualrev-th/tree/artifact on UU-owned storage. This is the artifact for https://dl.acm.org/doi/10.1145/3571247 .
Updated -
Updated
-
Updated
-
-
Updated
-
This is a mirror of https://github.com/tomsmeding/efficient-chad-agda on UU-owned storage. This is the artifact for https://arxiv.org/abs/2307.05738 , submitted to POPL 2024.
Updated -
Making a webshop (client and server side) as a part of the Webtechnology course
Updated -
Scrapes Google Images for Kinetikids data Based on https://github.com/ohyicong/Google-Image-Scraper.git
Updated -
Updated
-
Updated
-
-
Mondriaan sparse matrix partitioning package, described on website https://www.staff.science.uu.nl/~bisse101/Mondriaan/
Updated -
Mondriaan sparse matrix partitioning package, described on website https://www.staff.science.uu.nl/~bisse101/Mondriaan/
Updated -
The assignment for the multimedia retrieval course at UU 2019-2020
Updated -