Popular repositories Loading

1. idris-flap idris-flap Public

   An implementation of "A Typed Approach to Parsing" in idris

   Idris 10 1

2. agda-helium agda-helium Public

   Semantics of Helium instructions in agda.

   Agda 5 1

3. squidguix squidguix Public

   A Guix channel defining some convenience functions.

   Scheme 5 1

4. google-workout-help google-workout-help Public archive

   Wear OS and Android app for circuit training.

   Java 1

5. masters-proposal masters-proposal Public

   The proposal for my Masters degree research project. Will be deleted after 19 November.

   TeX 1 1

6. dissertation dissertation Public

   My undergraduate dissertation. Will eventually be removed.

   Python 1 1