Explore projects

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.

The object store driver.

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.

This is a mirror of https://github.com/tomsmeding/ad-dualrev-th/tree/artifact on UU-owned storage. This is the artifact for https://dl.acm.org/doi/10.1145/3571247 .

Python package for legal case based reasoning based on a fortiori reasoning

All schema retrieval code.

A generic explainability architecture for explaining text machine learning models.

Generation base dependency