Giters
David Jaz Myers (DavidJaz)

DavidJaz

Geek Repo

44

followers

0

following

3

stars

Home Page:davidjaz.com

Github PK Tool:Github PK Tool

David Jaz Myers's repositories

DynamicalSystemsBook

Language:TeXStargazers:40Issues:6Issues:3

Cohesion

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

Language:AgdaStargazers:10Issues:0Issues:0

Dynamical

Open Monadic Dependent Dynamical Systems... in Idris

Language:IdrisStargazers:3Issues:3Issues:0

Systems

Double Categories of Open Dynamical Systems

Language:TeXStargazers:3Issues:2Issues:1

Pancake

A toy concatenative language with (hopefully) dependent types.

Language:CLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

Adjoint-School-2022

Language:Jupyter NotebookStargazers:1Issues:0Issues:0

appliedcategorytheory.github.io

ACT Adjoint School Website

Language:HTMLStargazers:0Issues:0Issues:0

DavidJaz.github.io

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

Language:SCSSLicense:MITStargazers:0Issues:0Issues:0

Dirichlet

oo-Toposes of Dirichlet Functors

Language:TeXStargazers:0Issues:0Issues:0

SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Language:TeXStargazers:0Issues:0Issues:0

Things

A bucket for writings on mathematical metaphysics

Language:TeXStargazers:0Issues:0Issues:0

tridactyl

A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0