~mzhang/cubeviz

Visualizer for cubical type theory

~mzhang/nibbles

~mzhang/thm

~mzhang/blog

Personal blog

~mzhang/type-theory

Type theory

~mzhang/panorama

Personal information manager https://mzhang.io/panorama

~mzhang/panorama0

Personal Information Manager

~mzhang/garbage

Soft-deletion CLI tool with FreeDesktop Trash compatibility.

~mzhang/hott-book

~mzhang/dance-vision

Detecting DDR scores with computer vision

~mzhang/algolab

~mzhang/eos0

~mzhang/cubical

Notes from cubical type theory

~mzhang/flake

Personal configuration files

~mzhang/markout

Extract code blocks from markdown files for literate programming