Explore projects
-
Updated
-
Updated
-
Emma :3 / INFOFP - 2024-2025 - Game Project
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Pepijn Bakker / uu-tc
BSD 3-Clause "New" or "Revised" LicenseUpdated -
INFOB3TC / uu-tc
BSD 3-Clause "New" or "Revised" LicenseUpdatedUpdated -
Pim Hutting / haskell game
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Edwin / FP Asteroids
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Emma :3 / INFOFP - Game Project
BSD 3-Clause "New" or "Revised" LicenseUpdated -
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 -
Tom Diterwich / PacMan
BSD 3-Clause "New" or "Revised" LicenseUpdated -
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 -
Updated
-
A WebAssembly superoptimizer. MSc thesis project.
Updated -
B Horn / vrs-compute-prototype
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated