Explore projects
-
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 -
A 2k parallel kernel for the cluster editing problem
Updated -
martijn / accelerate
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Prasetya, S.W.B. (Wishnu) / APSL
GNU General Public License v3.0 onlyUpdated -
Tian, Z. (Zonglin) / Projection Explain
MIT LicenseA tool used to interact and understand dimensionality reduced data. It can be used to generate, view and explain point clouds!
Updated -
Making a webshop (client and server side) as a part of the Webtechnology course
Updated -
-
-
-
Bachelor Thesis Marte Voorneveld. On the changes in the atlantic meridonal overturning currents.
Updated -
GraphPolaris / Microservices / schema-retrieval
GNU Affero General Public License v3.0All schema retrieval code.
Updated