Explore projects
-
Updated
-
Updated
-
Updated
-
-
-
Updated
-
-
Updated
-
Information and Computing Sciences / Algorithmic Data Analysis / Code_Dynamic2023 / Code_Dynamic2023
GNU General Public License v3.0 or laterUpdated -
Information and Computing Sciences / Software Projects / 2024 / V24J / TOMMY
GNU Affero General Public License v3.0Tommy is an application that makes topic modelling easy and accessible, developed for EMMA by students from Utrecht University.
Updated -
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 -
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