Skip to content

Popular repositories

  1. A personal library, formalizing cohesive homotopy type theory in Agda.

    Agda 10

  2. Double Categories of Open Dynamical Systems

    TeX 2

  3. A toy concatenative language with (hopefully) dependent types.

    C 1 1

  4. Open Monadic Dependent Dynamical Systems... in Idris

    Idris 1 1

  5. Forked from barryclark/jekyll-now

    Build a Jekyll blog in minutes, without touching the command line.


  6. A bucket for writings on mathematical metaphysics


77 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri

Contribution activity

June - July 2020

DavidJaz has no activity yet for this period.

May 2020

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.