Explore projects

Demo

Alignment library

Demo repository

A framework for reasoning about the (un)realizability of polymorphic programs based on input-output examples.

Agda model of our generic diff algorithm.

This is for the website

Demo repository

everything linked to my master thesis

Example GitBook site using GitLab Pages: https://pages.gitlab.io/gitbook