Pinned Loading

1. Drasil Drasil Public

   Generate all the things (focusing on research software)

   Haskell 143 26

2. agda/agda-categories agda/agda-categories Public

   A new Categories library for Agda

   Agda 369 67

3. finally-tagless finally-tagless Public

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

   OCaml 43

4. pi-dual pi-dual Public

   Collaborative work on reversible computing

   TeX 24 2

5. TheoriesAndDataStructures TheoriesAndDataStructures Public

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

   Agda 38 2

6. agda-algebras agda-algebras Public

   Forked from ualib/agda-algebras

   Agda 5