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

OpenComm: An Open-Source Research Tool for Annotating and Analyzing Socioemotional Communication

OpenComm: An Open-Source Research Tool for Annotating and Analyzing Socioemotional Communication

my second fork