Explore projects

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

This is a snapshot of https://git.tomsmeding.com/ox-arrays from the time of publication of https://arxiv.org/abs/2507.12640 on UU-owned storage.

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

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.

This 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 .

This gateway maintains a websocket connection with the frontend and enables communication with the various microservices

Docker image for grading Haskell assignments in Prairielearn

Docker image for grading Prolog assignments in Prairielearn

Docker image for grading C# assignments in Prairielearn

This microservice based on django (for REST) exposes several endpoints for text/sentence-to-HD-embedding-vectors and HD-vectors-to-2D projection.

All schema retrieval code.

All query executors.