Explore projects
-
-
Updated
-
Updated
-
PICA4_Rubiks / RubiksProgram
MIT LicenseUpdated -
Tom Diterwich / PacMan
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Odekerken, D. (Daphne) / LCBR
MIT LicensePython package for legal case based reasoning based on a fortiori reasoning
Updated -
vig / mscprojects / Blue Noise Distributed MCMC Decorrelation of ReSTIR
BSD 3-Clause "New" or "Revised" License2023-01 Project by Oscar Fickel and supervised by Peter Vangorp
Updated -
-
9298762 / Asteroids
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 -
Waal,W.G. van der (Wouter) / SWORD framework
MIT LicenseUpdatedUpdated -
Updated
-
-
GraphPolaris / Frontend NOT MAINTAINED
MIT LicenseThis code is unmaintained and relates to v0.x of GraphPolaris. Use frontent_v2 instead
Updated -
vig / mscprojects / Clustering-Based Model-Agnostic Evaluation with Progressive Visualization
MIT LicenseProject by Oscar Alexander Kirschstein Schäfer
Project start: 12/2022 Supervised by Michael Behrisch and Yuncong Yu
Updated