Pinned Repositories
ck.vim
ChucK Audio Programming Language Syntax
docker-texlive-ja
dot-xmonad
helm-mpd
Emacs-helm interface for music player daemon
helm-pacman
hott-ja
HoTT in Japanese
morg
Organize mathematical thoughts
satysfi-ncsq
SATySFi package for drawing rectangular diagrams.
synthetic-topos-theory
uemurax.github.io
uemurax's Repositories
uemurax/hott-ja
HoTT in Japanese
uemurax/morg
Organize mathematical thoughts
uemurax/synthetic-topos-theory
uemurax/satysfi-ncsq
SATySFi package for drawing rectangular diagrams.
uemurax/helm-mpd
Emacs-helm interface for music player daemon
uemurax/uemurax.github.io
uemurax/ck.vim
ChucK Audio Programming Language Syntax
uemurax/docker-texlive-ja
uemurax/dot-xmonad
uemurax/helm-pacman
uemurax/latex-macros
uemurax/my-icon
uemurax/satysfi-arrows
uemurax/anything-texdoc
Anything/Helm interface for texdoc
uemurax/bfi
uemurax/emacs-id3
uemurax/exwm
Emacs X Window Manager
uemurax/gnuplot.vim
Syntax highlighting for Gnuplot
uemurax/HoTT
Homotopy type theory
uemurax/infinite-categories-from-type-theory
uemurax/math-test
Math test page
uemurax/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
uemurax/satysfi-base
complementary collection of useful functions and modules for SATySFi
uemurax/satysfi-cross-ref-ext
uemurax/satysfi-sexp
uemurax/TPPmark2014
uemurax/wakate2014
数学基礎論若手の会2014での発表資料