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 -
For the up-to-date version see https://github.com/MarcelRobeer/explabox-demo-drugreview
Updated -
This is a project to write an all python seismic tomography toolbox as a teaching tool. This project will provide the codes and file architecture to use an integration over the path methodology with Voronoi cells.
Updated -
GraphPolaris / Frontend NOT MAINTAINED
MIT LicenseThis code is unmaintained and relates to v0.x of GraphPolaris. Use frontent_v2 instead
Updated -
Updated
-
This repository has moved to https://github.com/MarcelRobeer/genbase. Generation base dependency
UpdatedUpdated -
Updated
-
Using Graph Embeddings for Matrix Reordering
Updated -
Scrapes Google Images for Kinetikids data Based on https://github.com/ohyicong/Google-Image-Scraper.git
Updated -
Updated
-
-
Updated
-
Updated
-
Odekerken, D. (Daphne) / LCBR
MIT LicensePython package for legal case based reasoning based on a fortiori reasoning
Updated -
Updated
-
Updated