Explore projects

This is a snapshot of https://github.com/Mikolaj/horde-ad from the time of publication of https://arxiv.org/abs/2507.12640 on UU-owned storage. Primarily written by Mikołaj Konarski.

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.

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 .

Docker image for grading Haskell assignments in Prairielearn