Taichi Uemura's repositories
satysfi-ncsq
SATySFi package for drawing rectangular diagrams.
anything-texdoc
Anything/Helm interface for texdoc
gnuplot.vim
Syntax highlighting for Gnuplot
satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
satysfi-base
complementary collection of useful functions and modules for SATySFi
wakate2014
数学基礎論若手の会2014での発表資料