Explore projects
-
Updated
-
Updated
-
martijn / accelerate
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Arjan Adriaanse / mcpd-ad
GNU General Public License v3.0 onlyUpdated -
Updated
-
Prasetya, S.W.B. (Wishnu) / APSL
GNU General Public License v3.0 onlyUpdated -
-
Updated
-
B Horn / vrs-compute-prototype
BSD 3-Clause "New" or "Revised" LicenseUpdated -
A WebAssembly superoptimizer. MSc thesis project.
Updated -
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 -
9298762 / Asteroids
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Tom Diterwich / PacMan
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Emma :3 / INFOFP - Game Project
BSD 3-Clause "New" or "Revised" LicenseUpdated