Explore projects

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

2023-01 Project by Oscar Fickel and supervised by Peter Vangorp

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.

https://youtu.be/iScy18pVR58

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.

The request handler takes requests from the client, validates it and then produces it to the correct queue.

The object store driver.

This code is unmaintained and relates to v0.x of GraphPolaris. Use frontent_v2 instead

Project by Oscar Alexander Kirschstein Schäfer

Project start: 12/2022 Supervised by Michael Behrisch and Yuncong Yu

Service that tests the connection to a users database. Called from the frontend before a user can add the database to prevent adding a database with invalid credentials.