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.

Docker image for grading Haskell assignments in Prairielearn

End game for functional programming

Haskell Project Time Tracking System

SQL deeply embedded in Haskell

A WebAssembly superoptimizer. MSc thesis project.

Parallel and concurrent haskell exercises

Agda model of our generic diff algorithm.

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.