Explore projects

All query executors.

Key value store driver.

The object store driver.

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.

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 .

All schema retrieval code.

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

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

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

Pattern Recognition project

Bachelor Thesis Marte Voorneveld. On the changes in the atlantic meridonal overturning currents.

Cycle Gan implementation

A 2k parallel kernel for the cluster editing problem