Explore projects

3D Brownian Dynamics for self-propelled spheres/rods in arbitrary deformable confinement

The broker driver.

The client updater service maintains a websocket connection with the frontend application and pushes ui updates through it.

This service is not part of the backbone. It provides team members with up to date documentation of different projects and code coverage as well.

Agda model of our generic diff algorithm.

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.

Making a webshop (client and server side) as a part of the Webtechnology course

This repository has moved to https://github.com/MarcelRobeer/genbase. Generation base dependency

Haskell Project Time Tracking System

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

Key value store driver.