JacquesCarette - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

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