Popular repositories Loading

1. hs-to-gallina hs-to-gallina Public

   Experimentation project

   Haskell 16

2. hprop-erasibility hprop-erasibility Public

   Master thesis

   Haskell 5

3. thesis thesis Public

   PhD thesis

   TeX 3

4. gdijkstra.github.io gdijkstra.github.io Public

   Personal site

   HTML 1

5. containers containers Public

   Some code regarding (generalised) containers

   Agda 1

6. first-year-report first-year-report Public

   First year report

   TeX