Popular repositories Loading

1. AbstractMachines AbstractMachines Public

   Abstract machines for functional programming languages

   9

2. HoTT-StudyGroup HoTT-StudyGroup Public

   Tübingen Study Group for Homotopy Type Theory

   Lean 4 1

3. bibliography bibliography Public

   Hand-curated bibliography for my projects.

   TeX 3

4. config-files config-files Public

   Configuration files for various applications

   Emacs Lisp 2

5. pointer-abstract-machine pointer-abstract-machine Public

   The Pointer Abstract Machine from Sec. 9 of Curien & Herbelin's "The Duality of Computation"

   Haskell 2

6. tuple-fields tuple-fields Public

   Accessing tuple fields in Haskell using record dot syntax.

   Haskell 2