Popular repositories Loading

1. DynamicalSystemsBook DynamicalSystemsBook Public

   TeX 52 13

2. Cohesion Cohesion Public

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

   Agda 13 1

3. Dynamical Dynamical Public

   Open Monadic Dependent Dynamical Systems... in Idris

   Idris 3 1

4. Systems Systems Public

   Double Categories of Open Dynamical Systems

   TeX 3

5. DavidJaz.github.io DavidJaz.github.io Public

   Forked from barryclark/jekyll-now

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

   SCSS 1

6. Adjoint-School-2022 Adjoint-School-2022 Public

   Forked from julianaoconnor/Adjoint-School-2022

   Jupyter Notebook 1