Explore projects
-
A Haskell program that simulates Kempe's universal linkages, drawing any algebraic curve in the plane.
Updated -
-
Utrecht Engine of Constraint Handling Rules with Priorities
Updated -
A WebAssembly superoptimizer. MSc thesis project.
Updated -
-
-
Updated
-
Updated
-
Updated
-
-
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.
Updated -
UpdatedUpdated
-
Parallel and concurrent haskell exercises
Updated -
Updated
-
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 .
Updated -
Updated
-