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
-
This repository has moved to https://github.com/marcelrobeer/explabox. Documentation is available at https://explabox.readthedocs.io. Explore/examine/explain/expose your model with the explabox!
Archived 0UpdatedArchived 0Updated -
-
Archived 0Updated
-
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 -
This service routes incoming query requests to query executor services with the required query language and database code running. It also allows for the retrieval of cached query results, which can be requested from the frontend. In the future we envision this service as a more advanced load balancer, as RabbitMQ only has round robin load balancing, which does not work if requests take arbitrary amounts of time.
Archived 0Updated -
Service that takes incoming query requests, performs them on the database and then publishes the result.
Updated