Explore projects
-
-
This project is supervised by Michael Behrisch and conducted Samed Balcioglu in 03/2024
Updated -
Project by Tingting Zhang and supervised by Michael Behrisch.
Updated -
Updated
-
Updated
-
GraphPolaris / Experiments / LLM Query Explainer
MIT LicenseThis project is supervised by Michael Behrisch and conducted Samed Balcioglu in 03/2024
Updated -
PICA4_Rubiks / RubiksProgram
MIT LicenseUpdated -
Updated
-
Updated
-
-
Tom Diterwich / PacMan
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Emma :3 / INFOFP - Game Project
BSD 3-Clause "New" or "Revised" LicenseUpdated -
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.
Updated