Explore projects

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

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 gateway maintains a websocket connection with the frontend and enables communication with the various microservices

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.