Explore projects
-
Emma :3 / INFOFP - Game Project
BSD 3-Clause "New" or "Revised" LicenseUpdated -
9298762 / Asteroids
BSD 3-Clause "New" or "Revised" LicenseUpdated -
The client updater service maintains a websocket connection with the frontend application and pushes ui updates through it.
Updated -
Updated
-
-
This service tests integration of other service. Can mock producers and consumers and assert that certain messages are received.
Updated -
-
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.
Updated -
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 -
Smeding,T.J. (Tom) / ad-dualrev-th-mirror
MIT LicenseThis 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 .
Updated -
Waal,W.G. van der (Wouter) / SWORD framework
MIT LicenseUpdatedUpdated -
vig / ShaRP
MIT LicenseUpdated -
Updated
-
Odekerken, D. (Daphne) / LCBR
MIT LicensePython package for legal case based reasoning based on a fortiori reasoning
Updated -
GraphPolaris / Microservices / schema-retrieval
GNU Affero General Public License v3.0All schema retrieval code.
Updated -
A generic explainability architecture for explaining text machine learning models.
Updated -