Explore projects
-
Bachelor Thesis Marte Voorneveld. On the changes in the atlantic meridonal overturning currents.
Updated -
Updated
-
Updated
-
Odekerken, D. (Daphne) / LCBR
MIT LicensePython package for legal case based reasoning based on a fortiori reasoning
Updated -
Creators: Floris Roos and Jos Zuijderwijk. Creating a classifier to choose the best modularity seeking algorithm on graphs.
Updated -
vig / provee / dummy-vue-grpc
MIT LicenseUpdated -
Updated
-
-
vig / ShaRP
MIT 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 -
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 -
GraphPolaris / MachineLearningServices / machine-learning-common
GNU Affero General Public License v3.0This Microservice runs machine learning algorithms on query results.
Updated -
Updated