Explore projects

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

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/

This microservice based on django (for REST) exposes several endpoints for text/sentence-to-HD-embedding-vectors and HD-vectors-to-2D projection.

Key value store driver.

Docker image for grading Prolog assignments in Prairielearn

Docker image for grading Haskell assignments in Prairielearn

Docker image for grading C# assignments in Prairielearn

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

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

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.

Cycle Gan implementation