Explore projects

AI BSc project in October 2025 conducted by Jan van der Heide, Supervised by Michael Behrisch

This MBI Master Thesis Project is conducted in 06/2024 by Mick Sneekes and supervised by Yuncong Yu and Michael Behrisch

Project done by Nils Idema in Jan 2025; supervised by Michael Behrisch

Docker image for grading Prolog assignments in Prairielearn. Similar to DOMjudge by comparing program's output with expected output.

This is a snapshot of https://github.com/Mikolaj/horde-ad from the time of publication of https://arxiv.org/abs/2507.12640 on UU-owned storage. Primarily written by Mikołaj Konarski.

This is a snapshot of https://git.tomsmeding.com/ox-arrays from the time of publication of https://arxiv.org/abs/2507.12640 on UU-owned storage.