Explore projects

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 .

Cycle Gan implementation

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.

Making a webshop (client and server side) as a part of the Webtechnology course

Scrapes Google Images for Kinetikids data Based on https://github.com/ohyicong/Google-Image-Scraper.git

Key value store driver.

Mondriaan sparse matrix partitioning package, described on website https://www.staff.science.uu.nl/~bisse101/Mondriaan/

Mondriaan sparse matrix partitioning package, described on website https://www.staff.science.uu.nl/~bisse101/Mondriaan/

The assignment for the multimedia retrieval course at UU 2019-2020