Explore projects

A tool used to interact and understand dimensionality reduced data. It can be used to generate, view and explain point clouds!

All query executors.

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

Key value store driver.

The object store driver.

A tool used to interact and understand dimensionality reduced data. It can be used to generate, view and explain point clouds!

A 2k parallel kernel for the cluster editing problem

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.

Docker image for grading C# assignments in Prairielearn

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 .