Explore projects

Service that takes incoming query requests, performs them on the database and then publishes the result.

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.

All query executors.

The broker driver.

All query conversion packages.

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

Key value store driver.

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

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.

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.

All schema retrieval code.

A generic explainability architecture for explaining text machine learning models.

Generation base dependency

Extension of text_explainability for sensitivity testing (robustness & fairness).