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.

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!

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

This repository has moved to https://github.com/marcelrobeer/text_sensitivity. Documentation is available at https://text-sensitivity.readthedocs.io. Extension of text_explainability for sensitivity testing (robustness, fairness & safety).

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

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.

Key value store driver.

All schema retrieval code.

The broker driver.

All query executors.

All query conversion packages.

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