Explore projects

Haskell Project Time Tracking System

The Quique experimental compiler

Utrecht Engine of Constraint Handling Rules with Priorities

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.

A WebAssembly superoptimizer. MSc thesis project.

Parallel and concurrent haskell exercises

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 .

End game for functional programming