Beast code in Giters

Taichi Uemura's repositories

hott-ja

HoTT in Japanese

Language:Racket32 2 3

morg

Organize mathematical thoughts

Language:RacketMIT18 3 1

synthetic-topos-theory

Language:Racket11 30

satysfi-ncsq

SATySFi package for drawing rectangular diagrams.

Language:JavaScriptMIT6 20

helm-mpd

Emacs-helm interface for music player daemon

Language:Emacs LispGPL-3.05 3 1

uemurax.github.io

3 20

ck.vim

ChucK Audio Programming Language Syntax

Language:Vim Script1 20

docker-texlive-ja

Language:DockerfileMIT100

dot-xmonad

Language:Haskell1 20

helm-pacman

Language:Emacs LispGPL-3.01 20

latex-macros

Language:TeX1 20

my-icon

Language:TeX1 20

satysfi-arrows

Language:JavaScriptMIT1 2 1

anything-texdoc

Anything/Helm interface for texdoc

Language:Emacs Lisp020

bfi

Language:Python020

emacs-id3

Language:Emacs Lisp020

exwm

Emacs X Window Manager

Language:Emacs Lisp020

gnuplot.vim

Syntax highlighting for Gnuplot

Language:Vim Script020

HoTT

Homotopy type theory

Language:CoqNOASSERTION010

infinite-categories-from-type-theory

Language:Agda020

math-test

Math test page

Language:HTML030

satyrographos-repo

Custom OPAM repository for SATySFi libraries managed by Satyrographos

Language:OCaml010

satysfi-base

complementary collection of useful functions and modules for SATySFi

Language:JavaScriptMIT010

satysfi-cross-ref-ext

Language:JavaScriptMIT020

satysfi-sexp

Language:JavaScriptMIT020

TPPmark2014

Language:Agda020

wakate2014

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

Language:TeX020