Explore projects

End game for functional programming

Docker image for grading Haskell assignments in Prairielearn

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.

Haskell Project Time Tracking System