Pinned Loading

1. tyde-24-code tyde-24-code Public archive

   Full Idris2 code used in the TyDe '24 paper "Type-level Property Based Testing"

   Idris 1

2. idris2-dsa-gen idris2-dsa-gen Public

   Generating Idris2 code based on Dependent State Automata diagrams.

   Idris 4

3. Idris2 Idris2 Public

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris

4. MSci-Project MSci-Project Public archive

   MSci project on DVFS, energy savings, and scheduling in Assymetric Multicore Processors (AMPs), using the gem5 simulator.

   TeX 3

5. UoStA-Module-Vis-2019 UoStA-Module-Vis-2019 Public

   An attempt at visualising the UG modules and requisites at the University of St Andrews

   Python

6. codingcellist.github.io codingcellist.github.io Public

   Repo for my personal website. Mostly just a bit of background info, my public key, and the occasional blog entry.

   Python