Taichi Uemura

hott-ja. HoTT in Japanese

morg. Organize mathematical thoughts

synthetic-topos-theory. Racket

satysfi-ncsq. SATySFi package for drawing rectangular diagrams.

helm-mpd. Emacs-helm interface for music player daemon

uemurax.github.io.

latex-macros. TeX

docker-texlive-ja. Dockerfile

satysfi-arrows. JavaScript

helm-pacman. Emacs Lisp

dot-xmonad. Haskell

infinite-categories-from-type-theory. Agda

my-icon. TeX

ck.vim. ChucK Audio Programming Language Syntax