Explore projects
-
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.
Updated -
Updated
-
-
Extension of text_explainability for sensitivity testing (robustness & fairness).
Updated -
3D Brownian Dynamics for self-propelled spheres/rods in arbitrary deformable confinement
Updated -
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.
Updated -
-
-
-
-
-
This service tests integration of other service. Can mock producers and consumers and assert that certain messages are received.
Updated -
Service that takes incoming query requests, performs them on the database and then publishes the result.
Updated -
The client updater service maintains a websocket connection with the frontend application and pushes ui updates through it.
Updated -
A generic explainability architecture for explaining text machine learning models.
Updated