Discover @uemurax Open Source projects

Taichi Uemura (@uemurax)

uemurax

Stars
81
Global Rank 237,028 (Top 9 %)
Followers 28
Following 4
Registered about 10 years ago
Most used languages

Racket
27.3 %

Emacs Lisp
18.2 %

TeX
18.2 %

JavaScript
18.2 %

Dockerfile
9.1 %

Haskell
9.1 %

hott-ja

HoTT in Japanese

morg

Organize mathematical thoughts

synthetic-topos-theory

satysfi-ncsq

SATySFi package for drawing rectangular diagrams.

helm-mpd

Emacs-helm interface for music player daemon

uemurax.github.io

my-icon

helm-pacman

satysfi-arrows

latex-macros

docker-texlive-ja

dot-xmonad