Explore projects

A program that can be used to create Kakeya sets of dimension two or three. It tries to achieve Kakeya sets which are as small as possible.

Agda model of our generic diff algorithm.

CSV documents containing the results gathered during the thesis about Parallel algorithms on tree decompositions.

The broker driver.

shitty tetris

MAIR chatbot

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

Sudoku? Ain't nobody got time for that!

<3 <3 <3

This is a demo repository!

Uncertainty-aware Personal Assistant for Making Personalized Privacy Decisions

A personal privacy assistant (PURE) helps its user make privacy decisions by recommending privacy labels (private or public) for given contents. PURE is unobtrusive, uncertainty-aware, and personalized.

In this repo, you can find how we implement PURE, Standard Neural Networks (SNN), and existing models such as Monte Carlo (MC) dropout and Deep Ensemble.

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

Vaccination Scheduling, Utrecht University, Computing Science, Algorithms for decision support