Pinned Loading

1. ml-playground ml-playground Public

   Experiments in deep learning.

   Python

2. thesis-public thesis-public Public

   Up to date version of my PhD thesis.

3. advent-of-code advent-of-code Public

   Solutions to Advent of Code problems.

   OCaml

4. thesis-formalisation thesis-formalisation Public

   Formalisation of my PhD thesis' results in Agda.

   HTML