Pinned Loading

1. Generate all the things (focusing on research software)

   Haskell 167 30

2. A new Categories library for Agda

   Agda 399 74

3. Repo of the original work on finally tagless (and a lot of other metaocaml work besides)

   OCaml 43

4. Collaborative work on reversible computing

   TeX 25 2

5. Showing how some simple mathematical theories naturally give rise to some common data-structures

   Agda 39 2