Explore projects

This is a demonstration of peer-to-peer communication structures in multi-agent systems with arguing agents.

This service tests integration of other service. Can mock producers and consumers and assert that certain messages are received.

The Quique experimental compiler

zoekt file id via de naam vh file

GUI van de resultaten van een zoekopdracht en GUI van het wijzigen van tags.

Utrecht Engine of Constraint Handling Rules with Priorities

Alignment of Tip2Tip dataset with the Astra toolbox

Project by Tingting Zhang and supervised by Michael Behrisch.

De party game voor ons introproject (groep 17)

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.

This is a project to write an all python seismic tomography toolbox as a teaching tool. This project will provide the codes and file architecture to use an integration over the path methodology with Voronoi cells.

A Haskell program that simulates Kempe's universal linkages, drawing any algebraic curve in the plane.

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

shitty tetris

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.