Taichi Uemura

uemurax

https://uemurax.github.io/

Languages

Emacs Lisp22%JavaScript17%Racket13%TeX13%Agda9%VimL9%Dockerfile4%Haskell4%HTML4%Python4%

Loading contributions...

Top Repositories

hott-ja

HoTT in Japanese

36Racket

morg

Organize mathematical thoughts

20Racket

synthetic-topos-theory

15Racket

satysfi-ncsq

SATySFi package for drawing rectangular diagrams.

6JavaScript

helm-mpd

Emacs-helm interface for music player daemon

5Emacs Lisp

uemurax.github.io

Repositories

uemurax/morg

Organize mathematical thoughts

Racket201Updated 2 weeks ago

uemurax/hott-ja

HoTT in Japanese

Racket361Updated 3 months ago

uemurax/uemurax.github.io

No description provided.

20Updated 3 months ago

uemurax/pplss-2025-demo

No description provided.

00Updated 6 months ago

uemurax/synthetic-topos-theory

No description provided.

Racket151Updated 11 months ago

uemurax/infinite-categories-from-type-theory

No description provided.

Agda10Updated 1 year ago

uemurax/latex-macros

No description provided.

TeX10Updated 2 years ago

uemurax/satysfi-ncsq

SATySFi package for drawing rectangular diagrams.

JavaScript60Updated 2 years ago

uemurax/docker-texlive-ja

No description provided.

Dockerfile10Updated 2 years ago

uemurax/dot-xmonad

No description provided.

Haskell10Updated 3 years ago

uemurax/helm-mpd

Emacs-helm interface for music player daemon

Emacs Lisp52Updated 3 years ago

uemurax/math-test

Math test page

HTML00Updated 3 years ago

uemurax/HoTTFork

Homotopy type theory

00Updated 4 years ago

uemurax/satysfi-arrows

No description provided.

JavaScript10Updated 5 years ago

uemurax/satysfi-cross-ref-ext

No description provided.

JavaScript00Updated 5 years ago

uemurax/my-icon

No description provided.

TeX10Updated 5 years ago

uemurax/satysfi-sexp

No description provided.

JavaScript00Updated 5 years ago

uemurax/satysfi-baseFork

complementary collection of useful functions and modules for SATySFi

00Updated 5 years ago

uemurax/satyrographos-repoFork

Custom OPAM repository for SATySFi libraries managed by Satyrographos

00Updated 5 years ago

uemurax/anything-texdoc

Anything/Helm interface for texdoc

Emacs Lisp00Updated 5 years ago

uemurax/exwmFork

Emacs X Window Manager

Emacs Lisp00Updated 9 years ago

uemurax/gnuplot.vimFork

Syntax highlighting for Gnuplot

VimL00Updated 9 years ago

uemurax/helm-pacman

No description provided.

Emacs Lisp10Updated 9 years ago

uemurax/emacs-id3

No description provided.

Emacs Lisp00Updated 10 years ago

uemurax/ck.vimFork

ChucK Audio Programming Language Syntax

VimL10Updated 11 years ago

uemurax/TPPmark2014

No description provided.

Agda00Updated 11 years ago

uemurax/wakate2014

数学基礎論若手の会2014での発表資料

TeX00Updated 11 years ago

uemurax/bfi

No description provided.

Python00Updated 11 years ago

Taichi Uemura

Languages

Loading contributions...

Top Repositories

Repositories

Gists

Recent Activity