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 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 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

Containerized LOLA image for analyzing Petri nets via endpoint.

Launcher for Windows, an alternative to Alfred and Launchy.