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

Docker image for grading C# assignments in Prairielearn

Docker image for grading Haskell assignments in Prairielearn

Docker image for grading Prolog assignments in Prairielearn

Key value store driver.