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.

For the up-to-date version see https://github.com/MarcelRobeer/explabox-demo-drugreview

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.

This code is unmaintained and relates to v0.x of GraphPolaris. Use frontent_v2 instead

Code Repository for Graph Neural Networks

This repository has moved to https://github.com/MarcelRobeer/genbase. Generation base dependency

Using Graph Embeddings for Matrix Reordering

Scrapes Google Images for Kinetikids data Based on https://github.com/ohyicong/Google-Image-Scraper.git

Docker image for grading C# assignments in Prairielearn

Docker image for grading C# assignments in Prairielearn. Similar to DOMjudge by comparing program's output with expected output.

Docker image for grading Haskell assignments in Prairielearn

Docker image for grading Prolog assignments in Prairielearn

Docker image for grading Prolog assignments in Prairielearn. Similar to DOMjudge by comparing program's output with expected output.